diff options
Diffstat (limited to 'nuttx/configs/us7032evb1/ostest/Make.defs')
-rw-r--r-- | nuttx/configs/us7032evb1/ostest/Make.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/configs/us7032evb1/ostest/Make.defs b/nuttx/configs/us7032evb1/ostest/Make.defs index e3a0753a4e..f924dc56fe 100644 --- a/nuttx/configs/us7032evb1/ostest/Make.defs +++ b/nuttx/configs/us7032evb1/ostest/Make.defs @@ -34,6 +34,7 @@ ############################################################################## include ${TOPDIR}/.config +include ${TOPDIR}/tools/Config.mk ifeq ("${CONFIG_DEBUG_SYMBOLS}","y") ARCHOPTIMIZATION = -g |