diff options
Diffstat (limited to 'script/cibuild.sh')
| -rwxr-xr-x | script/cibuild.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/script/cibuild.sh b/script/cibuild.sh index aa4fa47aa..699404bd2 100755 --- a/script/cibuild.sh +++ b/script/cibuild.sh @@ -1,5 +1,11 @@ #!/bin/sh +if [ -n "$COVERITY" ]; +then + ./script/coverity.sh; + exit $?; +fi + # Create a test repo which we can use for the online::push tests mkdir $HOME/_temp git init --bare $HOME/_temp/test.git @@ -28,5 +34,5 @@ export GITTEST_REMOTE_SSH_PUBKEY="$HOME/.ssh/id_rsa.pub" export GITTEST_REMOTE_SSH_PASSPHRASE="" if [ -e ./libgit2_clar ]; then - ./libgit2_clar -sonline::push + ./libgit2_clar -sonline::push -sonline::clone::cred_callback_failure fi |