diff --git a/test/run b/test/run index b01bdca2de..6d02c91842 100755 --- a/test/run +++ b/test/run @@ -71,6 +71,10 @@ do cat $TMP1FILE if grep -q '^BUG' $TMP1FILE then + if [ $dir != bugs ] + then + echo >&2 bug: $i + fi echo "# $i # fail, BUG" >>pass.out else echo $i >>pass.out