From f3a020d153b10526a7787a9530cf0eabf8c5d031 Mon Sep 17 00:00:00 2001
From: Evegeny Vereshchagin <evvers@ya.ru>
Date: Mon, 25 Jun 2018 22:22:29 +0000
Subject: [PATCH] coverity.sh: fail if uploading data to Coverity Scan is
 forbidden

---
 tools/coverity.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.47.3