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 | ||
