ar71xx: change LED name prefix on the jjplus boards

[openwrt.git] / rules.mk

diff --git a/rules.mk b/rules.mk
index a0ceca8..6684c93 100644 (file)
--- a/rules.mk
+++ b/rules.mk
@@ -220,7 +220,9 @@ else
     endif
   endif
   RSTRIP:= \
     endif
   endif
   RSTRIP:= \

-    export CROSS="$(TARGET_CROSS)" $(if $(CONFIG_KERNEL_KALLSYMS),NO_RENAME=1); \
+    export CROSS="$(TARGET_CROSS)" \
+               $(if $(CONFIG_KERNEL_KALLSYMS),NO_RENAME=1) \
+               $(if $(CONFIG_KERNEL_PROFILING),KEEP_SYMBOLS=1); \

     NM="$(TARGET_CROSS)nm" \
     STRIP="$(STRIP)" \
     STRIP_KMOD="$(SCRIPT_DIR)/strip-kmod.sh" \
     NM="$(TARGET_CROSS)nm" \
     STRIP="$(STRIP)" \
     STRIP_KMOD="$(SCRIPT_DIR)/strip-kmod.sh" \