diff options
author | Rob Landley <rob@landley.net> | 2006-02-08 20:06:57 +0000 |
---|---|---|
committer | Rob Landley <rob@landley.net> | 2006-02-08 20:06:57 +0000 |
commit | cc6d8d30ec156f6f247d63253e4a3f12cd8d7edc (patch) | |
tree | 3bfe74e8ffb015f23513c2860c8ac7ad019db3b3 /util-linux/Config.in | |
parent | 1ab4c3dc25217ea3a21fe5febf4e7af6d0c04427 (diff) | |
download | busybox-w32-cc6d8d30ec156f6f247d63253e4a3f12cd8d7edc.tar.gz busybox-w32-cc6d8d30ec156f6f247d63253e4a3f12cd8d7edc.tar.bz2 busybox-w32-cc6d8d30ec156f6f247d63253e4a3f12cd8d7edc.zip |
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 | |||
393 | the tool to use. If you enabled the 'mount' utility, you almost certainly | 393 | the tool to use. If you enabled the 'mount' utility, you almost certainly |
394 | also want to enable 'umount'. | 394 | also want to enable 'umount'. |
395 | 395 | ||
396 | config CONFIG_FEATURE_UMOUNT_ALL | ||
397 | bool " umount -a option" | ||
398 | default n | ||
399 | depends on CONFIG_UMOUNT | ||
400 | help | ||
401 | Support -a option to unmount all currently mounted filesystems. | ||
402 | |||
396 | comment "Common options for mount/umount" | 403 | comment "Common options for mount/umount" |
397 | depends on CONFIG_MOUNT || CONFIG_UMOUNT | 404 | depends on CONFIG_MOUNT || CONFIG_UMOUNT |
398 | 405 | ||