diff options
Diffstat (limited to 'bugs-fixed/REGRESS')
-rwxr-xr-x | bugs-fixed/REGRESS | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bugs-fixed/REGRESS b/bugs-fixed/REGRESS index 98d578a..30bdc7c 100755 --- a/bugs-fixed/REGRESS +++ b/bugs-fixed/REGRESS @@ -11,6 +11,7 @@ do echo === $i OUT=${i%.awk}.OUT OK=${i%.awk}.ok + OK2=${i%.awk}.ok2 IN=${i%.awk}.in input= if [ -f $IN ] @@ -22,7 +23,10 @@ do if cmp -s $OK $OUT then rm -f $OUT + elif [ -f $OK2 ] && cmp -s $OK2 $OUT + then + rm -f $OUT else - echo ++++ $i failed! + echo "+++ $i failed!" fi done |