rerun builtins.h creation if script changed
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 8 Sep 2008 09:48:14 +0000 (09:48 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 8 Sep 2008 09:48:14 +0000 (09:48 +0000)
[r21745]

Makefile

index 57d9e3a..1065cfe 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -116,7 +116,7 @@ $(DIRS):
        @echo "===> MKDIR $@"
        $(Q)mkdir -p $@
 
-builtins.h: builtins/builtins.c
+builtins.h: builtins/builtins.c create_builtins_h.sh
        @echo '===> CREATE_BUILTINS $<'
        $(Q)./create_builtins_h.sh > $@