# HG changeset patch
# User Pádraig Brady <P@draigBrady.com>
# Date 1359395945 0
# Node ID eb68457f384369c214e348e1d1aebbe00d2a0188
# Parent  7272991d255b2d43c72ef70e237396f65adf0a80
mountlist: don't consider "devtmpfs" as dummy

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

diff -r 7272991d255b -r eb68457f3843 ChangeLog
--- a/ChangeLog	Sun Jan 27 11:40:58 2013 -0800
+++ b/ChangeLog	Mon Jan 28 17:59:05 2013 +0000
@@ -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 -r 7272991d255b -r eb68457f3843 lib/mountlist.c
--- a/lib/mountlist.c	Sun Jan 27 11:40:58 2013 -0800
+++ b/lib/mountlist.c	Mon Jan 28 17:59:05 2013 +0000
@@ -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       \