diff options
author | Edward Thomson <ethomson@edwardthomson.com> | 2021-08-29 13:21:40 -0400 |
---|---|---|
committer | Edward Thomson <ethomson@edwardthomson.com> | 2021-08-29 21:01:49 -0400 |
commit | a5d6a5768f5537ef0a408cf51ce8c13742412041 (patch) | |
tree | 51f63725c14b2beddf980ff34abff7091b577cd6 | |
parent | 0a79012e9df33db31046c653ab04c69eaeed200a (diff) | |
download | libgit2-a5d6a5768f5537ef0a408cf51ce8c13742412041.tar.gz |
ci: stop on test failure
-rwxr-xr-x | ci/test.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ci/test.sh b/ci/test.sh index 2b43ba198..da3c01c2f 100755 --- a/ci/test.sh +++ b/ci/test.sh @@ -17,6 +17,7 @@ TMPDIR=${TMPDIR:-/tmp} USER=${USER:-$(whoami)} SUCCESS=1 +CONTINUE_ON_FAILURE=0 cleanup() { echo "Cleaning up..." @@ -64,6 +65,10 @@ run_test() { done if [ "$FAILED" -ne 0 ]; then + if [ "$CONTINUE_ON_FAILURE" -ne 1 ]; then + exit 1 + fi + SUCCESS=0 fi } |