Do not print warnings.

hfst · Oct 2, 2018 · ad30283 · ad30283
1 parent 7ab98be
commit ad30283
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/check_installation/check-tools.sh b/check_installation/check-tools.sh
@@ -75,7 +75,7 @@ do
 	"$tooltest" != "lexc2fst-stress.sh" -a \
 	"$tooltest" != "valgrind.sh" -a \
 	"$tooltest" != "lookup-stress.sh" ]; then
-	if (./$tooltest $PREFIX) ; then
+	if (./$tooltest $PREFIX 2> /dev/null) ; then
 	    printf "%-40s%s\n" $tooltest "PASS"
 	elif [ "$?" -eq "77" ] ; then
             printf "%-40s%s\n" $tooltest "** SKIP **"