--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/check-all.sh	Sun Nov 03 19:30:50 2024 +0100
@@ -0,0 +1,15 @@
+#!/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
+    echo "fail."
+    exit 1
+  else
+    echo "ok."
+  fi
+done
+
+