X-Git-Url: https://git.gag.com/?p=debian%2Fgzip;a=blobdiff_plain;f=maint.mk;fp=maint.mk;h=4889ebacc777094e74740c79433cccd84e6e4e77;hp=be86fb5d5251f83fe2970c11eefc9a9f5a696e52;hb=dc02bf0d39a3ae0d90d9b7b0feb32c2cc7cdff86;hpb=a8a88eddaa90432e6ec1b8d9d5c9842bc91afd1d diff --git a/maint.mk b/maint.mk index be86fb5..4889eba 100644 --- a/maint.mk +++ b/maint.mk @@ -421,6 +421,7 @@ sc_error_message_period: sc_file_system: @prohibit=file''system \ + exclude='/proc/filesystems' \ ignore_case=1 \ halt='found use of "file''system"; spell it "file system"' \ $(_sc_search_regexp) @@ -571,7 +572,7 @@ sc_prohibit_posixver_without_use: @h='posixver.h' re='\