From 14f1d7683cf47db9ffd63ecbddc936d85d060581 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 3 Feb 2021 09:48:38 +0900
Subject: Update CI settings

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4ba0910..8354564 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,5 +12,5 @@ test:
           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 }'
+        } | acl2 | awk '{ print } ; $0 == "******** FAILED ********" || $0 == "ACL2 !>ACL2 !>Bye." { exit 1 }'
       done
-- 
cgit v1.2.3