Add dependencies on the generator scripts runtime/gen_*.sh

ccasin · Oct 31, 2023 · 0ae9045 · 0ae9045
1 parent 6c0351b
commit 0ae9045
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -1253,15 +1253,15 @@ runtime/ld.conf: $(ROOTDIR)/Makefile.config
 
 # To speed up builds, we avoid changing "primitives" when files
 # containing primitives change but the primitives table does not
-runtime/primitives: \
+runtime/primitives: runtime/gen_primitives.sh \
   $(shell runtime/gen_primitives.sh $(runtime_BYTECODE_C_SOURCES) \
                     > runtime/primitives.new; \
                     cmp -s runtime/primitives runtime/primitives.new || \
                     echo runtime/primitives.new)
-	$(V_GEN)cp $^ $@
+	$(V_GEN)cp runtime/primitives.new $@
 
-runtime/prims.c : runtime/primitives
-	$(V_GEN) runtime/gen_primsc.sh \
+runtime/prims.c: runtime/gen_primsc.sh runtime/primitives
+	$(V_GEN)runtime/gen_primsc.sh \
                     runtime/primitives $(runtime_BYTECODE_C_SOURCES) \
                     > $@