diff options
Diffstat (limited to 'nuttx/configs/pjrc-8051/Make.defs')
| -rw-r--r-- | nuttx/configs/pjrc-8051/Make.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/pjrc-8051/Make.defs b/nuttx/configs/pjrc-8051/Make.defs index 5d2594547..5cf9fadf1 100644 --- a/nuttx/configs/pjrc-8051/Make.defs +++ b/nuttx/configs/pjrc-8051/Make.defs @@ -36,7 +36,7 @@ include ${TOPDIR}/.config include ${TOPDIR}/tools/Config.mk -ifeq ("${CONFIG_DEBUG_SYMBOLS}","y") +ifeq ($(CONFIG_DEBUG_SYMBOLS),y) ARCHOPTIMIZATION = --debug else ARCHOPTIMIZATION = |