aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-02-04 02:22:15 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-02-04 02:22:15 +0900
commitb51eb38f2ca96335730ba8c31d5cb1b59bf43861 (patch)
tree50a7ec24841a770f6a7d8e8a0791145c650519c9
parent14f1d7683cf47db9ffd63ecbddc936d85d060581 (diff)
Update CI settings
-rw-r--r--.gitlab-ci.yml4
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