diff options
author | Etienne Samson <samson.etienne@gmail.com> | 2018-08-14 21:26:14 +0200 |
---|---|---|
committer | Patrick Steinhardt <ps@pks.im> | 2018-10-19 13:47:20 +0200 |
commit | 8cb183618261dc4bc0cf04710daad4ea0b1b0fe5 (patch) | |
tree | ad4318e2db05b1d81acff3fe92bce6423bba473a | |
parent | dde5d2774ba90735298481467ac1abc94521c50e (diff) | |
download | libgit2-8cb183618261dc4bc0cf04710daad4ea0b1b0fe5.tar.gz |
ci: Correct the status code check so Coverity doesn't force-fail Travis
Otherwise you get something like
Emitted 525 C/C++ compilation units (100%) successfully
525 C/C++ compilation units (100%) are ready for analysis
The cov-build utility completed successfully.
Build successfully submitted.
Received error code 200 from Coverity
travis_time:end:14cf6373:start=1534254309066933889,finish=1534254728190974302,duration=419124040413
The command "if [ -n "$COVERITY" ]; then ../ci/coverity.sh; fi" exited with 1.
travis_time:start:01ed61d4
$ if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi
travis_time:end:01ed61d4:start=1534254728197560961,finish=1534254728202711214,duration=5150253
The command "if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi" exited with 0.
Done. Your build exited with 1.
(cherry picked from commit 351ca66126b08530d96556eb4521b601c69125e3)
-rwxr-xr-x | ci/coverity.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/coverity.sh b/ci/coverity.sh index ae6d46ef4..a97fae8c8 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 |