comparison: check-all.sh
check-all.sh
- changeset 1627
- d643fec1b2d5
- parent 1303
- 4022e403de60
- child 1629
- ac24ad6c8595
equal
deleted
inserted
replaced
| 1626:a2565f9fc6de | 1627:d643fec1b2d5 |
|---|---|
| 1 #!/bin/sh | 1 #!/bin/sh |
| 2 | 2 |
| 3 # backup config | 3 # backup config |
| 4 cp config.mk config.mk.bak | 4 cp config.mk config.mk.bak |
| 5 | 5 |
| 6 function perform_check | 6 perform_check() |
| 7 { | 7 { |
| 8 if ! make clean check > /dev/null ; then | 8 make clean > /dev/null |
| 9 if ! make check -j`nproc` > /dev/null ; then | |
| 9 echo "fail." | 10 echo "fail." |
| 10 else | 11 else |
| 11 echo "ok." | 12 echo "ok." |
| 12 fi | 13 fi |
| 13 } | 14 } |
| 14 | 15 |
| 15 function perform_check_cxx | 16 perform_check_cxx() |
| 16 { | 17 { |
| 17 # we cannot mute the warnings, so throw every everything | 18 make clean > /dev/null |
| 18 if ! make clean check-cxx > /dev/null 2> /dev/null ; then | 19 # we cannot mute the warnings, so throw away everything |
| 20 if ! make check-cxx -j`nproc` > /dev/null 2> /dev/null ; then | |
| 19 echo "fail." | 21 echo "fail." |
| 20 else | 22 else |
| 21 echo "ok." | 23 echo "ok." |
| 22 fi | 24 fi |
| 23 } | 25 } |
