aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-02-03 09:22:59 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-02-03 09:22:59 +0900
commit93f5eea5de6e27c215a230575294e589dcb8f335 (patch)
treee5c464ae8c206e2a6261185bfcc4b2de99d8f5b5
parent97367f505cc1bcff48b2b4be80877947cd21574f (diff)
Update CI settings.
-rw-r--r--.gitlab-ci.yml10
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