Christian Marangi
439e19de96
scripts/ext-tools: introduce new script to install prebuilt tools
...
Add a simple script to make it easier to install a prebuilt tools tar.
Currently it will be used by our tools container and kernel workflow on
github.
Simple script that take a tar that contains prebuilt host tools, extract
them and refresh the timestamps to skip recompilation of such host
tools.
By default it refresh timestamps of build_dir/host and
staging_dir/host/stamp.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit 5428bdc2dfaa45bc7adc89c3b9224da7d21961d0)
2022-12-04 16:45:30 +01:00
..
2022-02-19 13:10:01 +01:00
2021-10-30 15:00:22 +02:00
2020-01-02 23:59:20 +01:00
2020-11-02 08:39:49 +01:00
2022-07-08 22:08:43 -03:00
2022-07-08 22:09:40 -03:00
2020-05-19 08:05:22 +02:00
2020-05-21 19:11:24 +02:00
2020-05-19 08:06:29 +02:00
2022-02-28 15:17:11 +01:00
2021-10-31 21:24:47 +01:00
2020-03-01 21:35:59 +01:00
2021-05-13 15:13:15 +02:00
2021-05-13 15:13:15 +02:00
2022-01-17 09:14:26 +01:00
2021-05-29 13:03:07 +02:00
2021-05-29 13:03:07 +02:00
2020-11-18 21:50:58 +01:00
2022-02-26 13:36:30 +01:00
2021-09-22 22:24:39 -10:00
2021-10-31 21:24:47 +01:00
2022-09-16 18:50:46 +02:00
2021-12-29 14:06:10 +01:00
2021-11-13 10:29:41 -10:00
2022-10-03 17:40:26 +02:00
2022-12-04 16:45:30 +01:00
2022-02-15 00:24:24 +01:00
2020-12-22 19:11:50 +01:00
2022-04-15 14:12:13 +01:00
2020-01-01 17:01:02 +01:00
2020-08-31 11:18:06 +01:00
2020-11-02 08:39:49 +01:00
2022-04-06 17:35:49 +01:00
2021-05-13 15:13:15 +02:00
2022-04-06 14:03:58 +01:00
2021-10-31 21:24:47 +01:00
2020-11-13 13:17:53 +01:00
2021-10-31 21:24:47 +01:00
2021-10-28 16:27:21 +01:00
2022-03-05 18:01:04 +01:00
2022-10-14 23:14:50 +02:00
2022-03-27 16:14:00 +01:00
2022-07-21 16:58:00 +02:00
2021-05-13 15:13:15 +02:00
2021-09-23 21:57:22 -10:00
2021-10-31 21:24:47 +01:00
2021-10-23 21:39:00 +02:00
2021-10-11 11:49:14 +02:00
2020-06-02 08:37:54 +02:00
2020-06-02 08:33:11 +02:00
2020-06-02 13:06:42 +02:00
2021-10-31 21:24:47 +01:00
2021-10-31 21:24:47 +01:00
2021-10-31 21:24:47 +01:00
2020-11-12 18:21:55 +01:00
2019-12-31 11:41:07 +01:00
2019-12-31 11:43:15 +01:00
2021-12-02 20:42:58 +00:00
2022-01-17 09:14:26 +01:00
2022-09-16 18:50:46 +02:00