diff --git a/util/build-gnu.sh b/util/build-gnu.sh index a760a68..25b8be5 100755 --- a/util/build-gnu.sh +++ b/util/build-gnu.sh @@ -29,7 +29,7 @@ if test ! -d "${path_GNU}/README"; then echo "Extracting GNU tar..." mkdir -p "${path_GNU}" cd "${path_GNU}" - curl -fsSL https://ftpmirror.gnu.org/tar/tar-1.35.tar.xz -o gnu-tar.tar.xz + curl -fsSL --retry 5 https://ftpmirror.gnu.org/tar/tar-1.35.tar.xz -o gnu-tar.tar.xz echo e1a200d21f433cd7d917dd979db16919a9167056ae62cf7d038a6118e56b2fe419cd4a396eee66f1f4dc13a8dc380e23f6ffd7ee0ca84e5dd9ad9411f60e002c gnu-tar.tar.xz \ | b2sum --check tar xJf gnu-tar.tar.xz --strip-components=1