1 #! /bin/sh 2 3 . ./tests.sh 4 5 if [ "$1" = "-n" ]; then 6 NEG="$1" 7 shift 8 fi 9 10 OUTPUT="$1" 11 shift 12 13 verbose_run $VALGRIND "$DTC" -o "$OUTPUT" "$@" 14 ret="$?" 15 16 FAIL_IF_SIGNAL $ret 17 18 if [ -n "$NEG" ]; then 19 if [ ! -e "$OUTPUT" ]; then 20 FAIL "Produced no output" 21 fi 22 else 23 if [ -e "$OUTPUT" ]; then 24 FAIL "Incorrectly produced output" 25 fi 26 fi 27 28 rm -f "$OUTPUT" 29 30 PASS 31
