diff options
Diffstat (limited to '.gitlab-ci.yml')
-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 |