diff options
| author | Evegeny Vereshchagin <evvers@ya.ru> | 2018-06-25 22:22:29 +0000 |
|---|---|---|
| committer | Evegeny Vereshchagin <evvers@ya.ru> | 2018-06-25 22:22:29 +0000 |
| commit | f3a020d153b10526a7787a9530cf0eabf8c5d031 (patch) | |
| tree | 5d409b0b04d4b1c65858f26facdbf38323d6041c /tools/coverity.sh | |
| parent | 1e79d09ef9f7befe5d1e17999b85d89073857e63 (diff) | |
| download | systemd-f3a020d153b10526a7787a9530cf0eabf8c5d031.tar.gz | |
coverity.sh: fail if uploading data to Coverity Scan is forbidden
Diffstat (limited to 'tools/coverity.sh')
| -rwxr-xr-x | tools/coverity.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coverity.sh b/tools/coverity.sh index 1fc5b1cf99..af4c920cd2 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 |