diff options
Diffstat (limited to 'Config.in')
| -rw-r--r-- | Config.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Config.in b/Config.in index 1f689c0664a..c798510f0c1 100644 --- a/Config.in +++ b/Config.in @@ -173,6 +173,15 @@ choice endchoice +config STRIP_ARGS + string + prompt "Strip arguments" + depends USE_STRIP + default "--strip-unneeded --remove-section=.comment --remove-section=.note" if DEBUG + default "--strip-all" + help + Specifies arguments passed to the strip command when stripping binaries + config USE_MKLIBS bool "Strip unnecessary functions from libraries" help |