From 93f5eea5de6e27c215a230575294e589dcb8f335 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 3 Feb 2021 09:22:59 +0900
Subject: Update CI settings.

---
 .gitlab-ci.yml | 10 ++++++----
 1 file 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
-- 
cgit v1.2.3