changeset 15437:055938f44a46

maint.mk: prohibit inclusion of "verify.h" without use * top/maint.mk (sc_prohibit_verify_without_use): New rule.
author Jim Meyering <meyering@redhat.com>
date Tue, 12 Jul 2011 18:55:44 +0200
parents 904d3cee5cc3
children 591ddd1ddd1a
files ChangeLog top/maint.mk
diffstat 2 files changed, 11 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-12  Jim Meyering  <meyering@redhat.com>
+
+	maint.mk: prohibit inclusion of "verify.h" without use
+	* top/maint.mk (sc_prohibit_verify_without_use): New rule.
+
 2011-07-19  Pádraig Brady  <P@draigBrady.com>
 
 	timer-time: A new module to check for timer_settime()
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -621,6 +621,12 @@
 	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)