diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-02-04 02:22:15 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-02-04 02:22:15 +0900 |
commit | b51eb38f2ca96335730ba8c31d5cb1b59bf43861 (patch) | |
tree | 50a7ec24841a770f6a7d8e8a0791145c650519c9 | |
parent | 14f1d7683cf47db9ffd63ecbddc936d85d060581 (diff) |
Update CI settings
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8354564..7de320f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -9,8 +9,8 @@ test: echo "--- verify $source ---" { echo ':q' - echo '(setf sb-ext:*invoke-debugger-hook* (lambda (c h) (declare (ignore c h)) (sb-ext:quit)))' + echo '(setf sb-ext:*invoke-debugger-hook* (lambda (c h) (declare (ignore c h)) (format t "~%~a~%" "******** FAILED ********") (sb-ext:quit)))' echo '(lp)' cat "$source" - } | acl2 | awk '{ print } ; $0 == "******** FAILED ********" || $0 == "ACL2 !>ACL2 !>Bye." { exit 1 }' + } | acl2 | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }' done |