diff options
| -rwxr-xr-x | .ci-make.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.ci-make.sh b/.ci-make.sh index 32e113d..77192e6 100755 --- a/.ci-make.sh +++ b/.ci-make.sh @@ -36,9 +36,7 @@ case "$1" in ;; *) echo "ERROR: Bad pipeline status $CI_VERIFY" - #exit 1 - echo "WARNING: Ignoring!" - exit 0 + exit 1 ;; esac done |