diff -r 38fa7e41194c -r 53e22f112b11 check-all.sh
--- a/check-all.sh	Mon Nov 11 21:42:14 2024 +0100
+++ b/check-all.sh	Tue Nov 12 17:34:04 2024 +0100
@@ -1,15 +1,27 @@
 #!/bin/sh
 
-for cc in clang gcc; do
-  make clean > /dev/null
-  CC=$cc ./configure --debug > /dev/null
-  printf "Check $cc... "
-  if ! make check > /dev/null ; then
+# backup config
+cp config.mk config.mk.bak
+
+function perform_check
+{
+  if ! make clean check > /dev/null ; then
     echo "fail."
-    exit 1
   else
     echo "ok."
   fi
+}
+
+for cc in clang gcc; do
+  CC=$cc ./configure --debug > /dev/null
+  printf "Check $cc... "
+  perform_check
 done
 
+printf "Check w/o szmul builtin... "
+./configure --debug --disable-szmul-builtin > /dev/null
+perform_check
 
+# clean build files and restore config
+make clean > /dev/null
+mv config.mk.bak config.mk