diff options
Diffstat (limited to 't/yacc-grepping2.sh')
| -rw-r--r-- | t/yacc-grepping2.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/t/yacc-grepping2.sh b/t/yacc-grepping2.sh index 1ed80904d..920c98fd2 100644 --- a/t/yacc-grepping2.sh +++ b/t/yacc-grepping2.sh @@ -46,6 +46,7 @@ maude_YFLAGS = -d END $AUTOMAKE -a + grep '^sub/maude-maude\.c:.*sub/maude\.y' Makefile.in # Rule should use maude_YFLAGS. grep 'AM_YFLAGS.*maude' Makefile.in && exit 1 |