|
|
18a7d93 |
--- test-suite/check 2008-06-17 09:18:42.000000000 -0400
|
|
|
18a7d93 |
+++ test-suite/check 2008-06-17 09:19:11.000000000 -0400
|
|
|
18a7d93 |
@@ -52,7 +52,7 @@
|
|
|
18a7d93 |
nbtests=`expr $nbtests + 1`
|
|
|
18a7d93 |
printf " "$f"..."
|
|
|
18a7d93 |
tmpoutput=`mktemp /tmp/coqcheck.XXXXXX`
|
|
|
18a7d93 |
- $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" > $tmpoutput
|
|
|
18a7d93 |
+ $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" | grep -v "some rule has been masked" > $tmpoutput
|
|
|
18a7d93 |
foutput=`dirname $f`/`basename $f .v`.out
|
|
|
18a7d93 |
diff $tmpoutput $foutput >& /dev/null
|
|
|
18a7d93 |
if [ $? = 0 ]; then
|