diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-02-03 09:22:59 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-02-03 09:22:59 +0900 |
commit | 93f5eea5de6e27c215a230575294e589dcb8f335 (patch) | |
tree | e5c464ae8c206e2a6261185bfcc4b2de99d8f5b5 | |
parent | 97367f505cc1bcff48b2b4be80877947cd21574f (diff) |
Update CI settings.
-rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 286b941..4ba0910 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,8 +7,10 @@ test: - > for source in $(find -type f -name '*.lisp'); do echo "--- verify $source ---" - acl2 < $source | tee result - if [ -n "$(grep -E '^[*]{8} FAILED [*]{8}' result)" ]; then - exit 1 - fi + { + echo ':q' + echo '(setf sb-ext:*invoke-debugger-hook* (lambda (c h) (declare (ignore c h)) (sb-ext:quit)))' + echo '(lp)' + cat "$source" + } | acl2 | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }' done |