# HG changeset patch # User Jim Meyering # Date 1265801515 -3600 # Node ID 2afdfba76c9981f894147e7a406743e6a7610d24 # Parent 1825e6a0ff379bd8bd25c71143c01a740e76cb7e 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 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2010-02-10 Jim Meyering + + 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 and Bruno Haible diff --git a/top/maint.mk b/top/maint.mk --- a/top/maint.mk +++ b/top/maint.mk @@ -334,6 +334,11 @@ $(_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='\