Merge branch 'master' into travis

RGPaul · Oct 12, 2018 · 33a81ae · 33a81ae
2 parents bac8215 + 1bd9aa1
commit 33a81ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build-common.sh b/build-common.sh
@@ -311,7 +311,7 @@ download_file ()
         if [ -n "$CMD_WGET" ] ; then
             run $CMD_WGET -O $2 $1 
         elif [ -n "$CMD_CURL" ] ; then
-            run $CMD_CURL -o -L $2 $1
+            run $CMD_CURL -L -o $2 $1
         else
             echo "Please install wget or curl on this machine"
             exit 1