diff options
author | Christian Marangi <ansuelsmth@gmail.com> | 2022-11-11 02:32:15 +0100 |
---|---|---|
committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-01-23 19:18:05 +0100 |
commit | 1506f8c322c6f198d1903c62b19b9cbc12472b4e (patch) | |
tree | 9c85506ce3adfe9a91724db7b35cf10a906e38de /scripts/ext-tools.sh | |
parent | e3082dc555750d91e0d3e2237652ade5306b3347 (diff) | |
download | upstream-1506f8c322c6f198d1903c62b19b9cbc12472b4e.tar.gz upstream-1506f8c322c6f198d1903c62b19b9cbc12472b4e.tar.bz2 upstream-1506f8c322c6f198d1903c62b19b9cbc12472b4e.zip |
scripts: ext-tools: follow links for host tools path
Host tools path may be a symbolic link. Use -H with find to follow path
links passed from command line to find command.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
Diffstat (limited to 'scripts/ext-tools.sh')
-rwxr-xr-x | scripts/ext-tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ext-tools.sh b/scripts/ext-tools.sh index bf56f4d9ed..13fbd43018 100755 --- a/scripts/ext-tools.sh +++ b/scripts/ext-tools.sh @@ -5,7 +5,7 @@ HOST_BUILD_DIR=$(pwd)/"build_dir/host" HOST_STAGING_DIR_STAMP=$(pwd)/"staging_dir/host/stamp" refresh_timestamps() { - find "$1" -not -type l -print0 | xargs -0 touch + find -H "$1" -not -type l -print0 | xargs -0 touch } extract_prebuilt_tar() { |