# HG changeset patch
# User Jim Meyering <meyering@fb.com>
# Date 1517705856 28800
# Node ID d114fefb0a56399d7f35a6d8e64f10d704bbcd33
# Parent  26058d7353f46b7ccf233f9b41d9ec4de5a8f862
maint.mk: exempt "/proc/filesystems" from "file system" syntax check

* top/maint.mk (sc_file_system): Don't complain about
"/proc/filesystems".

diff -r 26058d7353f4 -r d114fefb0a56 ChangeLog
--- a/ChangeLog	Sat Feb 03 14:05:45 2018 +0100
+++ b/ChangeLog	Sat Feb 03 16:57:36 2018 -0800
@@ -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.
diff -r 26058d7353f4 -r d114fefb0a56 top/maint.mk
--- a/top/maint.mk	Sat Feb 03 14:05:45 2018 +0100
+++ b/top/maint.mk	Sat Feb 03 16:57:36 2018 -0800
@@ -421,6 +421,7 @@
 
 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)