Merge remote-tracking branch 'origin/maint'

[bison.git] / cfg.mk

diff --git a/cfg.mk b/cfg.mk
index a79566d3fda8f11879cc1d98fe2a7f303c49c601..7fbad01b3e9f33f23ced316c1a3cca3c8cc08930 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -172,9 +172,8 @@ $(call exclude,                                                             \
   prohibit_doubled_word=^tests/named-refs.at$$                          \
   prohibit_magic_number_exit=^doc/bison.texi$$                         \
   prohibit_magic_number_exit+=?|^tests/(conflicts|regression).at$$     \
-  prohibit_strcmp=^doc/bison\.texi$$                                   \
+  prohibit_strcmp=^doc/bison\.texi|tests/local\.at$$                   \
   prohibit_tab_based_indentation=\.(am|mk)$$|^djgpp/|^\.git            \
   require_config_h_first=^(lib/yyerror|data/(glr|yacc))\.c$$           \
-  space_tab=^tests/(input|c\+\+)\.at$$                                 \
   unmarked_diagnostics=^(djgpp/|doc/bison.texi$$|tests/c\+\+\.at$$)    \
 )