projects
/
platform
/
upstream
/
systemd.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1e79d09
)
coverity.sh: fail if uploading data to Coverity Scan is forbidden
author
Evegeny Vereshchagin
<evvers@ya.ru>
Mon, 25 Jun 2018 22:22:29 +0000
(22:22 +0000)
committer
Evegeny Vereshchagin
<evvers@ya.ru>
Mon, 25 Jun 2018 22:22:29 +0000
(22:22 +0000)
tools/coverity.sh
patch
|
blob
|
history
diff --git
a/tools/coverity.sh
b/tools/coverity.sh
index
1fc5b1c
..
af4c920
100755
(executable)
--- 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