From: Jim Meyering Date: Sun, 4 Feb 2018 00:57:36 +0000 (-0800) Subject: maint.mk: exempt "/proc/filesystems" from "file system" syntax check X-Git-Tag: v1.0~5739 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=67f682f1d3b5a61e7d55db63323f1233347f8e18;p=gnulib.git maint.mk: exempt "/proc/filesystems" from "file system" syntax check * top/maint.mk (sc_file_system): Don't complain about "/proc/filesystems". --- diff --git a/ChangeLog b/ChangeLog index 56b7de8f97..340dc226c3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2018-02-03 Jim Meyering + + maint.mk: exempt "/proc/filesystems" from "file system" syntax check + * top/maint.mk (sc_file_system): Don't complain about + "/proc/filesystems". + 2018-02-03 Bruno Haible stdlib: Fix compilation error on OpenIndiana. 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)