Commit 7e3ab83e authored by Jordan Sissel's avatar Jordan Sissel

Work around old wget problems

parent 1e3b07dd
......@@ -25,6 +25,10 @@ echo "URL: $URL"
# If you need to pass any specific flags to any specific fetcher, set
# WGET_FLAGS, CURL_FLAGS, or GET_FLAGS in your environment accordingly.
if which wget > /dev/null 2>&1 ; then
# Check if wget is a shitty version
if ! wget -O /dev/null -q https://github.com/ ; then
WGET_FLAGS="${WGET_FLAGS} --no-check-certificate"
fi
exec wget $WGET_FLAGS -O "$OUTPUT" "$URL"
elif which curl > /dev/null 2>&1 ; then
exec curl $CURL_FLAGS -s -o "$OUTPUT" "$URL"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment