diff options
Diffstat (limited to 'generate.make')
| -rw-r--r-- | generate.make | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/generate.make b/generate.make index 8701a45..c32ca8d 100644 --- a/generate.make +++ b/generate.make @@ -16,6 +16,7 @@ vpath %.py ${SRC_DIR} stamp/generated.stamp: $(MKDIR_FIRST) touch $@ + stamp/generated.stamp: stamp/generate-proto2.stamp stamp/generate-proto2.stamp: tools/protocol.py $(MKDIR_FIRST) @@ -23,6 +24,7 @@ stamp/generate-proto2.stamp: tools/protocol.py mkdir -p ${SRC_DIR}/src/proto2 cd ${SRC_DIR} && protocol.py touch $@ + stamp/generated.stamp: stamp/generate-debug-debug.stamp stamp/generate-debug-debug.stamp: tools/debug-debug-scripts ${PIES} $(MKDIR_FIRST) @@ -32,3 +34,9 @@ stamp/generate-debug-debug.stamp: tools/debug-debug-scripts ${PIES} debug-debug-scripts ${SRC_DIR}/src/debug-debug/ $(wordlist 2,$(words $^),$^) touch $@ +stamp/generated.stamp: stamp/generate-config.stamp +stamp/generate-config.stamp: tools/config.py + $(MKDIR_FIRST) + rm -f stamp/generated.stamp + cd ${SRC_DIR} && config.py + touch $@ |