From ebc0b6bde667131e3834bfa3bd45a4a9319b1b55 Mon Sep 17 00:00:00 2001 From: Justin_U Date: Fri, 12 Aug 2016 13:21:01 -0400 Subject: [PATCH] Update get-source.sh --- get-source.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/get-source.sh b/get-source.sh index 7e4baba..1923e39 100755 --- a/get-source.sh +++ b/get-source.sh @@ -111,7 +111,7 @@ if ! [ -f ${SOURCE} ]; then if [ -f ${SOURCE} ]; then echo "Ah, found it!"; continue; fi if ! [ "x${SRCURL}" == "x" ]; then echo "Will download file to $(dirname $SOURCE)" - wget -nv -T 20 -O "${SOURCE}" "${SRCURL}" || true + wget -nv -T 20 -O "${SOURCE}" "${SRCURL}" if [ $? -ne 0 -o ! -s "${SOURCE}" ]; then echo "Downloading '$(basename ${SOURCE})' failed... aborting the build." mv -f "${SOURCE}" "${SOURCE}".FAIL