7 if [ "$x" = "--" ]; then
17 verbose_run_log "$LOG" $VALGRIND "$DTC" -o /dev/null "$@"
20 if [ "$ret" -gt 127 ]; then
21 signame=$(kill -l $[ret - 128])
22 FAIL "Killed by SIG$signame"
26 if ! grep -E "^(ERROR)|(Warning) \($c\):" $LOG > /dev/null; then
27 FAIL "Failed to trigger check \"$c\""