Rosen Penev
1a3d7dd1a9
tools/cmake: update to 3.20.3 + build with Ninja ...
Compile with Ninja. Ninja compiles faster and is more stable with
parallel builds. Routines copied from cmake.mk.
Speed improves from:
Executed in 127.47 secs fish external
usr time 17.02 mins 446.00 micros 17.02 mins
sys time 1.18 mins 40.00 micros 1.18 mins
to:
Executed in 118.91 secs fish external
usr time 17.28 mins 499.00 micros 17.28 mins
sys time 1.13 mins 45.00 micros 1.13 mins
Signed-off-by: Rosen Penev <rosenp@gmail.com>
(cherry picked from commit 5cff6c1abbcb134395bbe032cb5ea9d1c74ec891)
2022-05-31 16:52:13 +08:00
2016-12-16 22:39:22 +01:00
2020-05-20 15:37:16 +02:00
2019-11-06 00:21:15 +01:00
2019-07-26 08:09:16 +02:00
2020-11-14 14:48:30 +01:00
2020-11-21 18:49:08 +01:00
2020-11-24 15:39:07 +01:00
2020-11-24 15:39:07 +01:00
2021-12-29 21:18:52 +01:00
2022-05-31 16:52:13 +08:00
2020-08-30 22:21:34 +02:00
2017-11-17 02:24:35 +01:00
2020-04-10 11:52:00 +01:00
2016-12-16 22:39:22 +01:00
2020-11-21 18:48:39 +01:00
2022-02-16 20:38:47 +01:00
2020-04-09 22:08:38 +02:00
2022-01-14 23:15:05 +01:00
2018-11-25 19:23:03 +01:00
2020-07-23 11:30:22 +02:00
2016-12-16 22:39:22 +01:00
2019-07-08 16:42:26 +02:00
2020-11-21 18:49:17 +01:00
2020-11-22 14:00:05 +08:00
2020-03-14 13:20:06 +00:00
2021-10-21 22:31:22 +02:00
2018-07-12 18:15:33 +02:00
2020-11-14 14:48:30 +01:00
2022-03-06 20:56:23 +01:00
2017-11-17 02:24:35 +01:00
2021-02-05 12:00:24 -10:00
2021-02-05 12:00:24 -10:00
2021-10-20 22:47:20 +02:00
2020-01-05 20:04:37 +01:00
2020-09-17 12:46:19 +02:00
2021-02-08 22:46:27 +01:00
2019-07-26 23:50:21 +02:00
2020-04-09 22:09:21 +02:00
2020-11-21 18:49:27 +01:00
2020-08-23 19:40:32 +02:00
2020-08-26 23:29:35 +02:00
2022-02-16 20:38:47 +01:00
2022-05-18 12:10:18 +08:00
2020-07-23 10:54:33 +02:00
2019-08-13 10:00:10 +02:00
2020-09-02 16:29:22 +02:00
2021-02-15 07:12:51 +01:00
2020-12-31 10:03:21 +01:00
2020-11-22 14:00:02 +08:00
2019-11-24 21:35:45 +01:00
2018-12-16 14:03:35 +01:00
2020-02-18 21:39:14 +01:00
2018-06-08 09:56:26 +02:00
2020-05-24 14:38:40 +02:00
2020-09-01 17:01:56 +02:00
2020-11-26 12:44:25 -10:00
2019-03-10 21:36:28 +01:00
2022-03-15 18:50:32 +01:00
2020-04-09 22:09:13 +02:00
2019-01-15 19:11:53 +01:00
2022-03-24 09:40:12 +01:00
2021-01-30 18:14:50 -10:00
2022-05-18 12:10:18 +08:00
1a3d7dd1a9