check-all.sh

Mon, 11 Nov 2024 21:42:14 +0100

author
Mike Becker <universe@uap-core.de>
date
Mon, 11 Nov 2024 21:42:14 +0100
changeset 986
38fa7e41194c
parent 981
723bbd868f35
child 987
53e22f112b11
permissions
-rwxr-xr-x

simplify cx_array_copy() - fixes #474

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