diff options
author | Rob Landley <rob@landley.net> | 2006-02-08 23:06:57 +0300 |
---|---|---|
committer | Rob Landley <rob@landley.net> | 2006-02-08 23:06:57 +0300 |
commit | cc6d8d30ec156f6f247d63253e4a3f12cd8d7edc (patch) | |
tree | 3bfe74e8ffb015f23513c2860c8ac7ad019db3b3 /util-linux/Config.in | |
parent | 1ab4c3dc25217ea3a21fe5febf4e7af6d0c04427 (diff) |
Fix umount so it works if there's no /etc/mtab or /proc/mounts, make
umount -a into a CONFIG_FEATURE (why not?), and zap the now obsolete
defconfig file (which was supposed to be part of the previous checkin).
Diffstat (limited to 'util-linux/Config.in')
-rw-r--r-- | util-linux/Config.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util-linux/Config.in b/util-linux/Config.in index 76e9ff97f..fbcf62476 100644 --- a/util-linux/Config.in +++ b/util-linux/Config.in @@ -393,6 +393,13 @@ config CONFIG_UMOUNT the tool to use. If you enabled the 'mount' utility, you almost certainly also want to enable 'umount'. +config CONFIG_FEATURE_UMOUNT_ALL + bool " umount -a option" + default n + depends on CONFIG_UMOUNT + help + Support -a option to unmount all currently mounted filesystems. + comment "Common options for mount/umount" depends on CONFIG_MOUNT || CONFIG_UMOUNT |