diff options
| -rwxr-xr-x | script/cibuild.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/script/cibuild.sh b/script/cibuild.sh index 722b3349d..2b8d1af08 100755 --- a/script/cibuild.sh +++ b/script/cibuild.sh @@ -11,6 +11,11 @@ cd _build cmake .. -DCMAKE_INSTALL_PREFIX=../_install $OPTIONS cmake --build . --target install ctest -V . +ecode=$? + +if [ $ecode -ne 0 ]; then + exit $ecode +fi # Now that we've tested the raw git protocol, let's set up ssh to we # can do the push tests over it |