# HG changeset patch
# User Mike Becker <universe@uap-core.de>
# Date 1730658650 -3600
# Node ID 723bbd868f35beeffabfc564805728a95f56fc43
# Parent  98af3fbc847fcac7f9dff25aa2e16e2c512e1af0
add script to invoke make check with different configurations

diff -r 98af3fbc847f -r 723bbd868f35 check-all.sh
--- /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
+
+