comparison: check-all.sh
check-all.sh
- changeset 1200
- 73efb59703a4
- parent 1109
- 89ec23988b88
equal
deleted
inserted
replaced
| 1199:d17a7350f4a7 | 1200:73efb59703a4 |
|---|---|
| 13 } | 13 } |
| 14 | 14 |
| 15 function perform_check_cxx | 15 function perform_check_cxx |
| 16 { | 16 { |
| 17 # we cannot mute the warnings, so throw every everything | 17 # we cannot mute the warnings, so throw every everything |
| 18 if ! make check-cxx > /dev/null 2> /dev/null ; then | 18 if ! make clean check-cxx > /dev/null 2> /dev/null ; then |
| 19 echo "fail." | 19 echo "fail." |
| 20 else | 20 else |
| 21 echo "ok." | 21 echo "ok." |
| 22 fi | 22 fi |
| 23 } | 23 } |
