From 3014963145f1c42ee86d784f7a26869bfbeae0a3 Mon Sep 17 00:00:00 2001 From: AnyOldName3 Date: Sun, 4 Jul 2021 15:20:27 +0000 Subject: [PATCH] Fail on bad download instead of downloading HTML 404 page --- CI/before_script.msvc.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CI/before_script.msvc.sh b/CI/before_script.msvc.sh index 2a4924a5f5..8d0b8647b4 100644 --- a/CI/before_script.msvc.sh +++ b/CI/before_script.msvc.sh @@ -258,10 +258,10 @@ download() { if [ -z $VERBOSE ]; then RET=0 - curl --silent --retry 10 -Ly 5 -o $FILE $URL || RET=$? + curl --silent --fail --retry 10 -Ly 5 -o $FILE $URL || RET=$? else RET=0 - curl --retry 10 -Ly 5 -o $FILE $URL || RET=$? + curl --fail --retry 10 -Ly 5 -o $FILE $URL || RET=$? fi if [ $RET -ne 0 ]; then