From: Evegeny Vereshchagin Date: Mon, 25 Jun 2018 22:22:29 +0000 (+0000) Subject: coverity.sh: fail if uploading data to Coverity Scan is forbidden X-Git-Tag: v240~1021^2 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9452%2Fhead;p=thirdparty%2Fsystemd.git coverity.sh: fail if uploading data to Coverity Scan is forbidden --- diff --git a/tools/coverity.sh b/tools/coverity.sh index 1fc5b1cf990..af4c920cd2b 100755 --- a/tools/coverity.sh +++ b/tools/coverity.sh @@ -48,7 +48,7 @@ else else WHEN=`echo $AUTH_RES | python -c "import sys, json; print(json.load(sys.stdin)['next_upload_permitted_at'])"` echo -e "\033[33;1mCoverity Scan analysis NOT authorized until $WHEN.\033[0m" - exit 0 + exit 1 fi fi