diff options
Diffstat (limited to 'top')
-rw-r--r-- | top/maint.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/top/maint.mk b/top/maint.mk index be86fb5d52..508c2f7c39 100644 --- a/top/maint.mk +++ b/top/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) |