Tree - rpms/coq - src.fedoraproject.org

Blob History Raw

		48f8ea1	`--- test-suite/check 2009-01-05 09:01:04.000000000 -0500`
		48f8ea1	`+++ test-suite/check 2009-04-08 08:05:08.000000000 -0400`
		70caa8f	`@@ -52,7 +52,7 @@`
		70caa8f	nbtests=`expr $nbtests + 1`
		70caa8f	`printf " "$f"..."`
		70caa8f	tmpoutput=`mktemp /tmp/coqcheck.XXXXXX`
		70caa8f	`- $command $f 2>&1 \| grep -v "Welcome to Coq" \| grep -v "Skipping rcfile loading" > $tmpoutput`
		70caa8f	`+ $command $f 2>&1 \| grep -v "Welcome to Coq" \| grep -v "Skipping rcfile loading" \| grep -v "some rule has been masked" > $tmpoutput`
		70caa8f	foutput=`dirname $f`/`basename $f .v`.out
		48f8ea1	`diff $tmpoutput $foutput > /dev/null 2>&1`
		70caa8f	`if [ $? = 0 ]; then`