diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2022-11-10 19:50:39 +0100 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-01-23 19:18:05 +0100 |
| commit | 26bb4b409da1fe45c578ce985a429af663a8501a (patch) | |
| tree | 3fdc9ba9833c4297993e9296de734a7b9217ca60 /scripts/arm-magic.sh | |
| parent | 1506f8c322c6f198d1903c62b19b9cbc12472b4e (diff) | |
| download | upstream-26bb4b409da1fe45c578ce985a429af663a8501a.tar.gz upstream-26bb4b409da1fe45c578ce985a429af663a8501a.tar.bz2 upstream-26bb4b409da1fe45c578ce985a429af663a8501a.zip | |
scripts: ext-tools: add option to only refresh timestamps
It's possible to have prebuilt tools already extracted. Add option to
just refresh the timestamps.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
Diffstat (limited to 'scripts/arm-magic.sh')
0 files changed, 0 insertions, 0 deletions