boot.mk: touch to prevent infinite rebuilds

FStarLang · Jan 15, 2025 · 217bc83 · 217bc83
1 parent 21b489d
commit 217bc83
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mk/boot.mk b/mk/boot.mk
@@ -53,6 +53,7 @@ FSTAR = $(FSTAR_EXE) $(SIL) $(FSTAR_OPTIONS)
 %$(EXTENSION):
 	$(call msg, $(MSG), $(FF))
 	$(FSTAR) --already_cached ',*' $<
+	touch -c $@
 
 %.ml: FF=$(notdir $(subst $(EXTENSION),,$<))
 %.ml: MM=$(basename $(FF))