X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=maint.mk;h=4889ebacc777094e74740c79433cccd84e6e4e77;hb=92249085071a973e2c0621b0415b93d2e48bb00d;hp=be86fb5d5251f83fe2970c11eefc9a9f5a696e52;hpb=a2f84200a3642c51afc3fad750ea264ac120bcd1;p=debian%2Fgzip 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='\