scripts: ext-tools: add option to only refresh timestamps
authorChristian Marangi <ansuelsmth@gmail.com>
Thu, 10 Nov 2022 18:50:39 +0000 (19:50 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Mon, 23 Jan 2023 18:18:05 +0000 (19:18 +0100)
commit26bb4b409da1fe45c578ce985a429af663a8501a
tree3fdc9ba9833c4297993e9296de734a7b9217ca60
parent1506f8c322c6f198d1903c62b19b9cbc12472b4e
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>
scripts/ext-tools.sh