diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2007-12-25 04:30:14 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2007-12-25 04:30:14 +0000 |
| commit | bb50fdfe07072f9e1f25eb6014176ace3f738d08 (patch) | |
| tree | 44820381a3d1cbbf1d8c879cf05503c2aaef4c37 /init/Config.in | |
| parent | ec5631b6d697895ff4f1f750840326f9f035df96 (diff) | |
| download | busybox-w32-bb50fdfe07072f9e1f25eb6014176ace3f738d08.tar.gz busybox-w32-bb50fdfe07072f9e1f25eb6014176ace3f738d08.tar.bz2 busybox-w32-bb50fdfe07072f9e1f25eb6014176ace3f738d08.zip | |
convert #if to if -- let gcc optimize away dead code for us
Diffstat (limited to 'init/Config.in')
| -rw-r--r-- | init/Config.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/init/Config.in b/init/Config.in index 1084de905..efc8beaf9 100644 --- a/init/Config.in +++ b/init/Config.in | |||
| @@ -37,10 +37,9 @@ config FEATURE_KILL_REMOVED | |||
| 37 | been removed. | 37 | been removed. |
| 38 | 38 | ||
| 39 | config FEATURE_KILL_DELAY | 39 | config FEATURE_KILL_DELAY |
| 40 | int "How long to wait between TERM and KILL (0 - send TERM only)" | 40 | int "How long to wait between TERM and KILL (0 - send TERM only)" if FEATURE_KILL_REMOVED |
| 41 | range 0 1024 | 41 | range 0 1024 |
| 42 | default 0 | 42 | default 0 |
| 43 | depends on FEATURE_KILL_REMOVED | ||
| 44 | help | 43 | help |
| 45 | With nonzero setting, init sends TERM, forks, child waits N | 44 | With nonzero setting, init sends TERM, forks, child waits N |
| 46 | seconds, sends KILL and exits. Setting it too high is unwise | 45 | seconds, sends KILL and exits. Setting it too high is unwise |