diff options
author | Carlos Martín Nieto <cmn@dwim.me> | 2014-04-30 11:57:54 +0200 |
---|---|---|
committer | Carlos Martín Nieto <cmn@dwim.me> | 2014-04-30 12:02:10 +0200 |
commit | 039e354b7d991f8de7003c7a98ad85bec601cb05 (patch) | |
tree | 8ee16c4c44c3f8a44f733e575230056f45967188 /script | |
parent | 891b0277aff31d717444c39259da2414c1f1b554 (diff) | |
download | libgit2-039e354b7d991f8de7003c7a98ad85bec601cb05.tar.gz |
ciscript: don't use an empty string as a number
An empty string is not a valid number, and some shells complain.
Check instead if $COVERITY is non-empty, which is a common convention
and what we're doing anyway.
Diffstat (limited to 'script')
-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 $?; |