Commit 227ace0f0c9f86807d0c1ec20e2076b8c4234b5d
2018-08-14T20:32:42
Merge pull request #4764 from tiennou/ci/coverity-only ci: Correct the status code check so Coverity doesn't force-fail Travis
diff --git a/ci/coverity.sh b/ci/coverity.sh
index ae6d46e..a97fae8 100755
--- a/ci/coverity.sh
+++ b/ci/coverity.sh
@@ -59,7 +59,7 @@ STATUS_CODE="$(echo "$HTML" | tail -n1)"
echo "${BODY}"
-if [ "${STATUS_CODE}" != "200" -o "${STATUS_CODE}" != "201" ]; then
+if [ "${STATUS_CODE}" != "200" -a "${STATUS_CODE}" != "201" ]; then
echo "Received error code ${STATUS_CODE} from Coverity"
exit 1
fi