From 2f25803ce271a7089cd937fd86c379cc74989581 Mon Sep 17 00:00:00 2001 From: Andrew Borodin Date: Wed, 30 Jan 2013 21:34:12 +0400 Subject: [PATCH] Sync with gnulib 47f4ca8fe9506254200028c8a8c5fffbf1bf1161 Don't consider "devtmpfs" as dummy. * src/filemanager/mountlist.c (ME_DUMMY_0): Remove "devtmpfs" as there is storage associcated with it. Signed-off-by: Andrew Borodin --- src/filemanager/mountlist.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/filemanager/mountlist.c b/src/filemanager/mountlist.c index db98e811a..67339f9a2 100644 --- a/src/filemanager/mountlist.c +++ b/src/filemanager/mountlist.c @@ -208,7 +208,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 \ -- 2.11.4.GIT