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: http://erislabs.net/gitweb/?p=gnulib.git;a=commitdiff_plain;h=47f4ca8fe9506254200028c8a8c5fffbf1bf1161

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 bb7a1424d..9145f2f2e 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 51939ec42..8fb7e9ab7 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       \