make curl call in getlib.sh follow 301 redirects

diff --git a/build/getlib.sh.in b/build/getlib.sh.in
index f18ec1da2d10b3a42d917850f153f1391d84d1ef..ca9011136874f6ee73bbed346ce3423c5a86fefd 100755 (executable)
--- a/build/getlib.sh.in
+++ b/build/getlib.sh.in
@@ -11,7 +11,7 @@ CURL=@CURL@
 if [ -f "$WGET" ]; then
   DOWNLOAD_CMD=$WGET
 elif [ -f "$CURL" ]; then
-  DOWNLOAD_CMD="$CURL -O"
+  DOWNLOAD_CMD="$CURL -L -O"
 fi
 
 if [ -n "`echo $1 | grep '://'`" ]; then