X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=top%2Fmaint.mk;h=6f6b8be39157d77debda38ef0c3198d411f637fb;hb=a10a02ed33c3a5ef4541d44182a5490854b4eff6;hp=9f20900a32c32b030f593aa5021a104caed8d81b;hpb=483bd08221cccf613ae5bb5738076113150579b0;p=pspp diff --git a/top/maint.mk b/top/maint.mk index 9f20900a32..6f6b8be391 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -495,6 +495,16 @@ sc_prohibit_hash_without_use: re='$(_hash_fn)|$(_hash_struct)'\ $(_sc_header_without_use) +sc_prohibit_cloexec_without_use: + @h='"cloexec.h"' re='\<(set_cloexec_flag|dup_cloexec) *\(' \ + $(_sc_header_without_use) + +sc_prohibit_posixver_without_use: + @h='"posixver.h"' re='\&2; \ exit 1; } || :