| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 1 | #! /bin/sh |
| 2 | |||||
| David Gibson | fc6e6f8 | 2008-05-29 16:16:21 +1000 | [diff] [blame] | 3 | . ./tests.sh |
| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 4 | |
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 5 | for x; do |
| 6 | shift | ||||
| 7 | if [ "$x" = "--" ]; then | ||||
| 8 | break; | ||||
| 9 | fi | ||||
| 10 | CHECKS="$CHECKS $x" | ||||
| 11 | done | ||||
| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 12 | |
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 13 | LOG="tmp.log.$$" |
| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 14 | |
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 15 | rm -f $TMPFILE $LOG |
| 16 | |||||
| David Gibson | 68fe10b | 2008-03-05 16:01:55 +1100 | [diff] [blame] | 17 | verbose_run_log "$LOG" $VALGRIND "$DTC" -o /dev/null "$@" |
| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 18 | ret="$?" |
| 19 | |||||
| David Gibson | 0d9d101 | 2007-12-07 15:37:45 +1100 | [diff] [blame] | 20 | if [ "$ret" -gt 127 ]; then |
| David Gibson | 68fe10b | 2008-03-05 16:01:55 +1100 | [diff] [blame] | 21 | signame=$(kill -l $[ret - 128]) |
| 22 | FAIL "Killed by SIG$signame" | ||||
| David Gibson | 0d9d101 | 2007-12-07 15:37:45 +1100 | [diff] [blame] | 23 | fi |
| 24 | |||||
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 25 | for c in $CHECKS; do |
| 26 | if ! grep -E "^(ERROR)|(Warning) \($c\):" $LOG > /dev/null; then | ||||
| David Gibson | a68cbc0 | 2007-12-07 18:08:20 +1100 | [diff] [blame] | 27 | FAIL "Failed to trigger check \"$c\"" |
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 28 | fi |
| 29 | done | ||||
| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 30 | |
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 31 | rm -f $LOG |
| David Gibson | 0d6ade2 | 2007-11-20 16:24:23 +1100 | [diff] [blame] | 32 | |
| David Gibson | 5ba0086 | 2007-12-06 16:56:55 +1100 | [diff] [blame] | 33 | PASS |