[PATCH] maint.mk: prohibit inclusion of "verify.h" without use

[Jim Meyering]

FYI,

>From 97b5e695bf85e5dee396ec5f4e25679af12108da Mon Sep 17 00:00:00 2001
From: Jim Meyering <address@hidden>
Date: Tue, 12 Jul 2011 18:55:44 +0200
Subject: [PATCH] maint.mk: prohibit inclusion of "verify.h" without use

* top/maint.mk (sc_prohibit_verify_without_use): New rule.
---
 ChangeLog    |    5 +++++
 top/maint.mk |    6 ++++++
 2 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 465e8d0..1a77d4f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-12  Jim Meyering  <address@hidden>
+
+       maint.mk: prohibit inclusion of "verify.h" without use
+       * top/maint.mk (sc_prohibit_verify_without_use): New rule.
+
 2011-07-12  Bruno Haible  <address@hidden>

        pthread_sigmask: Rely on module 'threadlib'.
diff --git a/top/maint.mk b/top/maint.mk
index 2da93bf..9357728 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)
--
1.7.6.430.g34be2