diff options
Diffstat (limited to 'modutils/Config.in')
-rw-r--r-- | modutils/Config.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/modutils/Config.in b/modutils/Config.in index c69e1b376..fb7fb2266 100644 --- a/modutils/Config.in +++ b/modutils/Config.in | |||
@@ -11,6 +11,20 @@ config DEPMOD | |||
11 | help | 11 | help |
12 | depmod generates modules.dep (FIXME: elaborate) | 12 | depmod generates modules.dep (FIXME: elaborate) |
13 | 13 | ||
14 | config FEATURE_DEPMOD_PRUNE_FANCY | ||
15 | bool "fancy dependency pruning" | ||
16 | default n | ||
17 | depends on DEPMOD | ||
18 | help | ||
19 | By default modules.dep contains all dependencies as listed by | ||
20 | the modules. | ||
21 | If you enable this option then we remove implied modules from | ||
22 | the dependencies. | ||
23 | This makes depmod somewhat bigger but generates a smaller | ||
24 | modules.dep file. | ||
25 | |||
26 | If unsure, say N. | ||
27 | |||
14 | config INSMOD | 28 | config INSMOD |
15 | bool "insmod" | 29 | bool "insmod" |
16 | default n | 30 | default n |