diff options
Diffstat (limited to 'nuttx/configs/pic32-starterkit')
-rw-r--r-- | nuttx/configs/pic32-starterkit/nsh/Make.defs | 1 | ||||
-rw-r--r-- | nuttx/configs/pic32-starterkit/nsh2/Make.defs | 1 | ||||
-rw-r--r-- | nuttx/configs/pic32-starterkit/ostest/Make.defs | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/nuttx/configs/pic32-starterkit/nsh/Make.defs b/nuttx/configs/pic32-starterkit/nsh/Make.defs index a951be917..cb2a34816 100644 --- a/nuttx/configs/pic32-starterkit/nsh/Make.defs +++ b/nuttx/configs/pic32-starterkit/nsh/Make.defs @@ -34,6 +34,7 @@ ############################################################################ include ${TOPDIR}/.config +include ${TOPDIR}/tools/Config.mk # Setup for the selected toolchain diff --git a/nuttx/configs/pic32-starterkit/nsh2/Make.defs b/nuttx/configs/pic32-starterkit/nsh2/Make.defs index 8c031f315..e4f4672a2 100644 --- a/nuttx/configs/pic32-starterkit/nsh2/Make.defs +++ b/nuttx/configs/pic32-starterkit/nsh2/Make.defs @@ -34,6 +34,7 @@ ############################################################################ include ${TOPDIR}/.config +include ${TOPDIR}/tools/Config.mk # Setup for the selected toolchain diff --git a/nuttx/configs/pic32-starterkit/ostest/Make.defs b/nuttx/configs/pic32-starterkit/ostest/Make.defs index 586135a3e..d82af28b9 100644 --- a/nuttx/configs/pic32-starterkit/ostest/Make.defs +++ b/nuttx/configs/pic32-starterkit/ostest/Make.defs @@ -34,6 +34,7 @@ ############################################################################ include ${TOPDIR}/.config +include ${TOPDIR}/tools/Config.mk # Setup for the selected toolchain |