From b30d353f4ee06e4606bc608955f68b5384bc3d45 Mon Sep 17 00:00:00 2001
From: edoapra <edoardo.apra@gmail.com>
Date: Wed, 18 Jan 2023 22:35:29 -0800
Subject: [PATCH] retry wget

---
 src/libext/openblas/build_openblas.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/libext/openblas/build_openblas.sh b/src/libext/openblas/build_openblas.sh
index c37bf3b168..174a049bd0 100755
--- a/src/libext/openblas/build_openblas.sh
+++ b/src/libext/openblas/build_openblas.sh
@@ -8,8 +8,16 @@ if [ -f  OpenBLAS-${VERSION}.tar.gz ]; then
     echo "using existing"  OpenBLAS-${VERSION}.tar.gz
 else
     rm -rf OpenBLAS*
-    curl -L https://github.com/xianyi/OpenBLAS/archive/v${VERSION}.tar.gz -o OpenBLAS-${VERSION}.tar.gz
+    tries=1 ; until [ "$tries" -ge 6 ] ; do
+		  if [ "$tries" -gt 1 ]; then sleep 9; echo attempt no.  $tries ; fi
+		  curl -L https://github.com/xianyi/OpenBLAS/archive/v${VERSION}.tar.gz -o OpenBLAS-${VERSION}.tar.gz ;
+		  # check tar.gz integrity
+		  gzip -t OpenBLAS-${VERSION}.tar.gz >&  /dev/null
+		  if [ $? -eq 0 ]; then break ;  fi
+		  tries=$((tries+1)) ;  done
 fi
+gzip -t OpenBLAS-${VERSION}.tar.gz >&  /dev/null
+if [ $? -ne 0 ]; then echo  "openBLAS tarball not ready"; rm -f OpenBLAS-${VERSION}.tar.gz; exit 1 ; fi
 tar xzf OpenBLAS-${VERSION}.tar.gz
 ln -sf OpenBLAS-${VERSION} OpenBLAS
 cd OpenBLAS