diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2022-09-30 19:36:06 +0200 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2022-12-04 16:45:30 +0100 |
| commit | 439e19de967bffcc7a9fa4d2e16e873a67b95738 (patch) | |
| tree | d50c4a2bf4bb1c7dee6f3bfb260ad7a220ac6e24 /package | |
| parent | d419136ad5bfa0449083b1a07a9a265cea20dcd5 (diff) | |
| download | upstream-439e19de967bffcc7a9fa4d2e16e873a67b95738.tar.gz upstream-439e19de967bffcc7a9fa4d2e16e873a67b95738.tar.bz2 upstream-439e19de967bffcc7a9fa4d2e16e873a67b95738.zip | |
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)
Diffstat (limited to 'package')
0 files changed, 0 insertions, 0 deletions