Sun, 03 Nov 2024 19:30:50 +0100
add script to invoke make check with different configurations
check-all.sh | file | annotate | diff | comparison | revisions |
--- /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 + +