From: Jim Meyering <meyering@redhat.com>
Date: Wed, 10 Feb 2010 11:31:55 +0000 (+0100)
Subject: maint.mk: prohibit inclusion of "ignore-value.h" without_use
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8751672163405024bbd75f6e9109dd5b4dbe4ad2;p=pspp

maint.mk: prohibit inclusion of "ignore-value.h" without_use

* top/maint.mk (sc_prohibit_ignore_value_without_use): New rule.
---

diff --git a/ChangeLog b/ChangeLog
index 928d8466b9..c382d58fd1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-02-10  Jim Meyering  <meyering@redhat.com>
+
+	maint.mk: prohibit inclusion of "ignore-value.h" without_use
+	* top/maint.mk (sc_prohibit_ignore_value_without_use): New rule.
+
 2010-02-09  Eric Blake  <ebb9@byu.net>
 	and Bruno Haible  <bruno@clisp.org>
 
diff --git a/top/maint.mk b/top/maint.mk
index f9eed6aa55..ed8d367806 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -333,6 +333,11 @@ sc_prohibit_inttostr_without_use:
 	@h='"inttostr.h"' re='\<(off|[iu]max|uint)tostr *\(' \
 	  $(_header_without_use)
 
+# Don't include this header unless you use one of its functions.
+sc_prohibit_ignore_value_without_use:
+	@h='"ignore-value.h"' re='\<ignore_(value|ptr) *\(' \
+	  $(_header_without_use)
+
 # Don't include this header unless you use one of its functions.
 sc_prohibit_error_without_use:
 	@h='"error.h"' \