diff options
Diffstat (limited to 'nuttx/configs/rgmp/x86/nsh/Make.defs')
-rw-r--r-- | nuttx/configs/rgmp/x86/nsh/Make.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/configs/rgmp/x86/nsh/Make.defs b/nuttx/configs/rgmp/x86/nsh/Make.defs index 22d29c35a8..22ad89da98 100644 --- a/nuttx/configs/rgmp/x86/nsh/Make.defs +++ b/nuttx/configs/rgmp/x86/nsh/Make.defs @@ -36,6 +36,7 @@ ############################################################################ include ${TOPDIR}/.config +include ${TOPDIR}/tools/Config.mk RGMPLIBDIR := $(RGMP_INST_DIR)/lib RGMPINCDIR := $(RGMP_INST_DIR)/include |