diff options
| -rwxr-xr-x | script/cibuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/cibuild.sh b/script/cibuild.sh index 1f15e851e..699404bd2 100755 --- a/script/cibuild.sh +++ b/script/cibuild.sh @@ -1,6 +1,6 @@ #!/bin/sh -if [ "$COVERITY" -eq 1 ]; +if [ -n "$COVERITY" ]; then ./script/coverity.sh; exit $?; |