diff options
Diffstat (limited to 'platform_tools')
| -rwxr-xr-x | platform_tools/barelinux/bin/arm64_download | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform_tools/barelinux/bin/arm64_download b/platform_tools/barelinux/bin/arm64_download index 598ee89452..5bb44ec16d 100755 --- a/platform_tools/barelinux/bin/arm64_download +++ b/platform_tools/barelinux/bin/arm64_download @@ -45,7 +45,7 @@ gsutil_check_get() { local gurl="$1" local file="$2" if ! [ -f "$file" ] || \ - [ "$(gsutil stat "$gurl" | sed -n 's/\W*Hash (md5):\W*//p')" \ + [ "$(gsutil ls -L "$gurl" | sed -n 's/\W*Hash (md5):\W*//p')" \ != "$(md5sum < "$file" | sed 's/\W*-//')" ] ; then try gsutil cp "$gurl" "$file" || return fi |