diff --git a/tests/bin/check.sh b/tests/bin/check.sh index 90209c164..72d7d8616 100644 --- a/tests/bin/check.sh +++ b/tests/bin/check.sh @@ -40,8 +40,8 @@ case $HOST_TYPE in rm -f $testname.test_tmp $testname.out_tmp ;; FreeBSD*|SunOS*|OpenBSD*) - $SPICE --batch $testdir/$testname.cir >$testname.test &&\ - sed -e '/^$/d' $testname.test | egrep -v "$FILTER" > $testname.test_tmp &&\ + $SPICE --batch $testdir/$testname.cir >$testname.test + sed -e '/^$/d' $testname.test | egrep -v "$FILTER" > $testname.test_tmp sed -e '/^$/d' $testdir/$testname.out | egrep -v "$FILTER" > $testname.out_tmp if diff -b -w $testname.out_tmp $testname.test_tmp; then rm $testname.test $testname.test_tmp $testname.out_tmp