Merge remote-tracking branch 'GeoDaCenter/master' into dev1.9

GeoDaCenter · Sep 27, 2018 · bf7aad9 · bf7aad9
2 parents c0d4166 + 0fdd374
commit bf7aad9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/BuildTools/ubuntu/build.sh b/BuildTools/ubuntu/build.sh
@@ -74,7 +74,7 @@ install_library()
 
     if ! [ -f "$LIB_FILENAME" ] ; then
 	echo "$LIB_FILENAME not found. Downloading..."
-        curl -O $LIB_URL
+        curl -L -O $LIB_URL
     else
 	echo "$LIB_FILENAME found.  Download skipped."
     fi

diff --git a/BuildTools/ubuntu/build64.sh b/BuildTools/ubuntu/build64.sh
@@ -75,7 +75,7 @@ install_library()
 
     if ! [ -f "$LIB_FILENAME" ] ; then
 	echo "$LIB_FILENAME not found. Downloading..."
-        curl -O $LIB_URL
+        curl -L -O $LIB_URL
     else
 	echo "$LIB_FILENAME found.  Download skipped."
     fi