From 334df9c148cdefa9cc508ea0a1230d8e9606ee30 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 28 Jul 2008 12:00:28 +0000
Subject: Fix bashism in test-suite/check

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11284 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/check')

diff --git a/test-suite/check b/test-suite/check
index f2307d405..571e7a67a 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -54,7 +54,7 @@ test_output() {
         tmpoutput=`mktemp /tmp/coqcheck.XXXXXX`
 	$command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" > $tmpoutput
         foutput=`dirname $f`/`basename $f .v`.out
-        diff $tmpoutput $foutput >& /dev/null
+        diff $tmpoutput $foutput > /dev/null 2>&1
 	if [ $? = 0 ]; then 
 	    echo "Ok"
 	    nbtestsok=`expr $nbtestsok + 1`
-- 
cgit v1.2.3