diff options
Diffstat (limited to 'misc/buildroot/Makefile')
-rw-r--r-- | misc/buildroot/Makefile | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/misc/buildroot/Makefile b/misc/buildroot/Makefile index 23709a165..9bdfbea61 100644 --- a/misc/buildroot/Makefile +++ b/misc/buildroot/Makefile @@ -62,8 +62,6 @@ include package/Makefile.in # ############################################################# - - all: world # In this section, we need .config @@ -127,6 +125,18 @@ $(STAGING_DIR)/$(REAL_GNU_TARGET_NAME)/include : $(STAGING_DIR) $(NUTTX_DIR)/inc @cp -a $(NUTTX_DIR)/include/* $(STAGING_DIR)/$(REAL_GNU_TARGET_NAME)/include/. || \ { echo "Failed to copy Nuttx header files" ; exit 1 ; } +$(TOOL_BUILD_DIR): + mkdir -p $(TOOL_BUILD_DIR) + +$(TOOL_BUILD_DIR)/nuttx_dev: $(TOOL_BUILD_DIR) + mkdir -p $(TOOL_BUILD_DIR)/nuttx_dev + +$(TOOL_BUILD_DIR)/nuttx_dev/usr: $(TOOL_BUILD_DIR)/nuttx_dev + mkdir -p $(TOOL_BUILD_DIR)/nuttx_dev/usr + +$(TOOL_BUILD_DIR)/nuttx_dev/usr/include: $(TOOL_BUILD_DIR)/nuttx_dev/usr + mkdir -p $(TOOL_BUILD_DIR)/nuttx_dev/usr/include + nuttx_setup: $(TOOL_BUILD_DIR)/nuttx_dev/usr/include source: $(TARGETS_SOURCE) |