X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=top%2Fmaint.mk;h=c9ffb95a5b7148e236432a7ffbc76d6480c734c0;hb=47cd5e6890272798588074518e1744263bdf08c8;hp=2da93bf9fee93532b4cd71cdc0cfe740f8bd90a3;hpb=c3264f061d45e6bbde76b9055514613d72c5c016;p=gnulib.git diff --git a/top/maint.mk b/top/maint.mk index 2da93bf9f..c9ffb95a5 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='\