From: Pádraig Brady <P@draigBrady.com>
Date: Mon, 28 Jan 2013 17:59:05 +0000 (+0000)
Subject: mountlist: don't consider "devtmpfs" as dummy
X-Git-Tag: v0.1~229
X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=47f4ca8fe9506254200028c8a8c5fffbf1bf1161;p=gnulib.git

mountlist: don't consider "devtmpfs" as dummy

* lib/mountlist.c (ME_DUMMY_0): Remove "devtmpfs"
as there is storage associcated with it.
---

diff --git a/ChangeLog b/ChangeLog
index bb7a1424d3..9145f2f2e5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-01-28  Pádraig Brady  <P@draigBrady.com>
+
+	mountlist: don't consider "devtmpfs" as dummy
+	* lib/mountlist.c (ME_DUMMY_0): Remove "devtmpfs"
+	as there is storage associcated with it.
+
 2013-01-27  Paul Eggert  <eggert@cs.ucla.edu>
 
 	futimens-tests, utimens-tests: Depend on gettext.
diff --git a/lib/mountlist.c b/lib/mountlist.c
index 51939ec428..8fb7e9ab74 100644
--- a/lib/mountlist.c
+++ b/lib/mountlist.c
@@ -156,7 +156,6 @@
    /* for Linux 2.6/3.x */                      \
    || strcmp (Fs_type, "debugfs") == 0          \
    || strcmp (Fs_type, "devpts") == 0           \
-   || strcmp (Fs_type, "devtmpfs") == 0         \
    || strcmp (Fs_type, "fusectl") == 0          \
    || strcmp (Fs_type, "mqueue") == 0           \
    || strcmp (Fs_type, "rpc_pipefs") == 0       \