summaryrefslogtreecommitdiff
path: root/test/run
diff options
context:
space:
mode:
Diffstat (limited to 'test/run')
-rwxr-xr-xtest/run4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/run b/test/run
index b01bdca2d..6d02c9184 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