diff options
author | Jim Meyering <meyering@fb.com> | 2018-02-03 16:57:36 -0800 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2018-02-03 16:57:36 -0800 |
commit | 67f682f1d3b5a61e7d55db63323f1233347f8e18 (patch) | |
tree | b2d3b99fc71530f3e74763c00678f414cb7f5d8d /ChangeLog | |
parent | ab4b1f3d4e517a0948fce56d6c0ac0995fd5133b (diff) | |
download | gnulib-67f682f1d3b5a61e7d55db63323f1233347f8e18.tar.gz |
maint.mk: exempt "/proc/filesystems" from "file system" syntax check
* top/maint.mk (sc_file_system): Don't complain about
"/proc/filesystems".
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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. |