check-all.sh

Thu, 07 Nov 2024 20:22:56 +0100

author
Mike Becker <universe@uap-core.de>
date
Thu, 07 Nov 2024 20:22:56 +0100
changeset 984
e8f354a25ac8
parent 981
723bbd868f35
permissions
-rwxr-xr-x

let cxMapDestroy() ignore NULL as any free()-like function should do

981
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
1 #!/bin/sh
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
2
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
3 for cc in clang gcc; do
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
4 make clean > /dev/null
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
5 CC=$cc ./configure --debug > /dev/null
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
6 printf "Check $cc... "
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
7 if ! make check > /dev/null ; then
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
8 echo "fail."
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
9 exit 1
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
10 else
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
11 echo "ok."
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
12 fi
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
13 done
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
14
723bbd868f35 add script to invoke make check with different configurations
Mike Becker <universe@uap-core.de>
parents:
diff changeset
15

mercurial