diff options
-rw-r--r-- | Headers/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Headers/Makefile b/Headers/Makefile index 8aedb4cf81..67891c5f68 100644 --- a/Headers/Makefile +++ b/Headers/Makefile @@ -18,7 +18,8 @@ OBJHEADERS := $(addprefix $(HeaderDir)/, $(HEADERS)) $(OBJHEADERS): $(HeaderDir)/%.h: $(PROJ_SRC_DIR)/%.h $(HeaderDir)/.dir - cp $< $@ + $(Verb) cp $< $@ + @echo Copying $(notdir $<) to build dir printit: echo $(OBJHEADERS) |