comparison: check-all.sh
check-all.sh
- changeset 987
- 53e22f112b11
- parent 981
- 723bbd868f35
equal
deleted
inserted
replaced
| 986:38fa7e41194c | 987:53e22f112b11 |
|---|---|
| 1 #!/bin/sh | 1 #!/bin/sh |
| 2 | 2 |
| 3 for cc in clang gcc; do | 3 # backup config |
| 4 make clean > /dev/null | 4 cp config.mk config.mk.bak |
| 5 CC=$cc ./configure --debug > /dev/null | 5 |
| 6 printf "Check $cc... " | 6 function perform_check |
| 7 if ! make check > /dev/null ; then | 7 { |
| 8 if ! make clean check > /dev/null ; then | |
| 8 echo "fail." | 9 echo "fail." |
| 9 exit 1 | |
| 10 else | 10 else |
| 11 echo "ok." | 11 echo "ok." |
| 12 fi | 12 fi |
| 13 } | |
| 14 | |
| 15 for cc in clang gcc; do | |
| 16 CC=$cc ./configure --debug > /dev/null | |
| 17 printf "Check $cc... " | |
| 18 perform_check | |
| 13 done | 19 done |
| 14 | 20 |
| 21 printf "Check w/o szmul builtin... " | |
| 22 ./configure --debug --disable-szmul-builtin > /dev/null | |
| 23 perform_check | |
| 15 | 24 |
| 25 # clean build files and restore config | |
| 26 make clean > /dev/null | |
| 27 mv config.mk.bak config.mk |
