diff options
Diffstat (limited to '')
| -rwxr-xr-x | .ci/local/test.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.ci/local/test.sh b/.ci/local/test.sh index 6216c48..99728e4 100755 --- a/.ci/local/test.sh +++ b/.ci/local/test.sh @@ -221,7 +221,13 @@ test_failure() { cgitize verify_initial_commits add_commits + + echo + echo ---------------------------------------------------------------------- + echo Removing upstream repository + echo ---------------------------------------------------------------------- rm -rf -- "$upstream_repo_dir" + if cgitize; then echo "cgitize should have failed to pull the upstream repository." >&2 return 1 |