diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 21d6a94f9a..741fd48f6a 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -28,8 +28,10 @@ $(TOOL_STAMP_DIR): $(STAGING_DIR): @mkdir -p $@/lib @mkdir -p $@/include - @mkdir -p $@/$(REAL_GNU_TARGET_NAME) + @mkdir -p $@/include-host + $(CP) ./include/*.h $@/include-host/ @ln -sf ../lib $@/$(REAL_GNU_TARGET_NAME)/lib + @mkdir -p $@/$(REAL_GNU_TARGET_NAME) $(TOOL_BUILD_DIR): @mkdir -p $@ |