his patch mainly fixes the huge delay when we ping from the RDC device to another...

[openwrt.git] / Config.in

diff --git a/Config.in b/Config.in
index 1e8f9e2..b9716e8 100644 (file)
--- a/Config.in
+++ b/Config.in
@@ -142,6 +142,10 @@ config EXTERNAL_KERNEL_TREE
        prompt "Use external kernel tree" if DEVEL
        default ""
 
+config BUILD_DEVELOPER_SYSTEM
+       bool "build a non-stripped system, so gcc can be run natively on target" if DEVEL
+       default n
+
 source "toolchain/Config.in"
 menuconfig BUILDSYSTEM_SETTINGS
     bool "Buildsystem settings"