diff options
| -rw-r--r-- | tools/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile index 07944af2bc..492c027099 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -21,6 +21,7 @@ $(STAGING_DIR)/include-host/.done: @cp $(1)/include/*.h $$$$(dirname $$@)/ @touch $$@ $(curdir)//prepare = $(STAGING_DIR)/include-host/.done +$(curdir)//compile = $(STAGING_DIR)/include-host/.done endef $(eval $(call copy_include,$(curdir))) |