kernel: fix compilation for platforms without GENERIC_TIME

[openwrt/openwrt.git] / Config.in

diff --git a/Config.in b/Config.in
index 1f689c0664a40d996cee3b5ae7e758399d2db1b6..c798510f0c1c32851e0d6aa06fd323154f1a722e 100644 (file)
--- 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