diff options
| -rw-r--r-- | Makefile.maint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index bd597966f..e0956b79b 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -201,7 +201,7 @@ strftime-check: # not @...@ in Makefile.am, now that we can rely on automake # to emit a definition for each substituted variable. makefile-check: - grep -E '@[A-Z_]+@' `find . -name Makefile.am` \ + grep -E '@[A-Z_0-9]+@' `find . -name Makefile.am` \ && { echo 'Makefile.maint: use $(...), not @...@' 1>&2; exit 1; } || : changelog-check: |