diff --git a/test/run b/test/run index 5920e8d9946..241e550263c 100755 --- a/test/run +++ b/test/run @@ -71,7 +71,6 @@ do cat $TMP1FILE if grep -q '^BUG' $TMP1FILE then - echo >&2 fail: $i echo "# $i # fail, BUG" >>pass.out else echo $i >>pass.out