summaryrefslogtreecommitdiff
path: root/top
diff options
context:
space:
mode:
authorJim Meyering <meyering@redhat.com>2011-07-12 18:55:44 +0200
committerJim Meyering <meyering@redhat.com>2011-07-21 22:26:04 +0200
commit5833dfd948db783dcfd90e1273104b778e2ec773 (patch)
tree4d497267225180abe550cefb027241512c0cc45b /top
parenteb9e60e319faa80e5d0b8a196970191aec1cdcd7 (diff)
downloadgnulib-5833dfd948db783dcfd90e1273104b778e2ec773.tar.gz
maint.mk: prohibit inclusion of "verify.h" without use
* top/maint.mk (sc_prohibit_verify_without_use): New rule.
Diffstat (limited to 'top')
-rw-r--r--top/maint.mk6
1 files changed, 6 insertions, 0 deletions
diff --git a/top/maint.mk b/top/maint.mk
index 2da93bf9fe..9357728623 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -621,6 +621,12 @@ sc_prohibit_stddef_without_use:
re='\<($(_stddef_syms_re)) *\(' \
$(_sc_header_without_use)
+# Prohibit the inclusion of verify.h without an actual use.
+sc_prohibit_verify_without_use:
+ @h='verify.h' \
+ re='\<(verify(true|expr)?|static_assert) *\(' \
+ $(_sc_header_without_use)
+
# Don't include xfreopen.h unless you use one of its functions.
sc_prohibit_xfreopen_without_use:
@h='xfreopen.h' re='\<xfreopen *\(' $(_sc_header_without_use)