From b51eb38f2ca96335730ba8c31d5cb1b59bf43861 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 4 Feb 2021 02:22:15 +0900
Subject: Update CI settings

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