Sun, 03 Nov 2024 19:30:50 +0100
add script to invoke make check with different configurations
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 |