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:07:34 +0100 |
| commit | fd7e8e4e7520ac7531c1008a83557c7a04860da5 (patch) | |
| tree | be3f881f5630342c92bba4ae3c2081bb67c5e46b /scripts/diffconfig.sh | |
| parent | 629199f6c8e0dc36484dd17e971f8c1c88b705b1 (diff) | |
| download | upstream-fd7e8e4e7520ac7531c1008a83557c7a04860da5.tar.gz upstream-fd7e8e4e7520ac7531c1008a83557c7a04860da5.tar.bz2 upstream-fd7e8e4e7520ac7531c1008a83557c7a04860da5.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 'scripts/diffconfig.sh')
0 files changed, 0 insertions, 0 deletions