]> Savannah Git Hosting - gnulib.git/commitdiff
maint.mk: exempt "/proc/filesystems" from "file system" syntax check
authorJim Meyering <meyering@fb.com>
Sun, 4 Feb 2018 00:57:36 +0000 (16:57 -0800)
committerJim Meyering <meyering@fb.com>
Sun, 4 Feb 2018 00:57:36 +0000 (16:57 -0800)
* top/maint.mk (sc_file_system): Don't complain about
"/proc/filesystems".

ChangeLog
top/maint.mk

index 56b7de8f97b928df5e83c216cedfbd628e8ee97f..340dc226c3f1582fe8c777d970d5acdfcb20f12b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2018-02-03  Jim Meyering  <meyering@fb.com>
+
+       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  <bruno@clisp.org>
 
        stdlib: Fix compilation error on OpenIndiana.
index be86fb5d5251f83fe2970c11eefc9a9f5a696e52..508c2f7c3928e6da05f5b6028b2d6fec3e179ad7 100644 (file)
@@ -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)