diff options
Diffstat (limited to 'nuttx/configs/ea3131/nsh')
-rw-r--r-- | nuttx/configs/ea3131/nsh/Make.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/configs/ea3131/nsh/Make.defs b/nuttx/configs/ea3131/nsh/Make.defs index 247cb6ebd..e17d3c674 100644 --- a/nuttx/configs/ea3131/nsh/Make.defs +++ b/nuttx/configs/ea3131/nsh/Make.defs @@ -34,6 +34,7 @@ ############################################################################ include ${TOPDIR}/.config +include ${TOPDIR}/tools/Config.mk # Setup for the selected toolchain |