aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorchrysn2012-10-23 01:31:30 +0200
committerchrysn2012-10-23 01:31:30 +0200
commit2ad04777bf63a1324afe2b65d689aa210928bfea (patch)
tree8e6cc2a5e64347543cd13b69974b03eb1a33c46d /Makefile
parent0a1cf977eb2003dd55cee8f5f840f3a2f6e9c0ce (diff)
only generate irq headers on demand
as header file generation is not directly controlled by make (which, by the way, makes the generatedheaders target phony), the script has to take care of not needlessly generating files itself lest to have make rebuild everything everytime
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 76c302d..7ebd769 100644
--- a/Makefile
+++ b/Makefile
@@ -88,5 +88,5 @@ clean:
@printf " CLEAN doxygen\n"
$(Q)$(MAKE) -C doc clean
-.PHONY: build lib examples install doc clean
+.PHONY: build lib examples install doc clean generatedheaders