2012-11-28 13:48:53 +01:00
|
|
|
Index: coreutils-8.17/src/df.c
|
|
|
|
===================================================================
|
|
|
|
--- coreutils-8.17.orig/src/df.c
|
|
|
|
+++ coreutils-8.17/src/df.c
|
|
|
|
@@ -474,6 +474,9 @@ get_dev (char const *disk, char const *m
|
|
|
|
if (!selected_fstype (fstype) || excluded_fstype (fstype))
|
|
|
|
return;
|
|
|
|
|
2012-12-04 10:26:01 +01:00
|
|
|
+ if (fstype && !show_all_fs && (STRNCMP_LIT (fstype, "rootfs") == 0))
|
2012-11-28 13:48:53 +01:00
|
|
|
+ return;
|
|
|
|
+
|
|
|
|
/* If MOUNT_POINT is NULL, then the file system is not mounted, and this
|
|
|
|
program reports on the file system that the special file is on.
|
|
|
|
It would be better to report on the unmounted file system,
|