Makefile: add missing touch

(cherry picked from commit 05f17ed)
FStarLang · Sep 10, 2024 · 843d949 · 843d949
1 parent a5a8f92
commit 843d949
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/share/pulse/Makefile.include-base b/share/pulse/Makefile.include-base
@@ -95,6 +95,7 @@ verify: $(ALL_CHECKED_FILES)
 
 $(ALL_ML_FILES): %.ml:
 	$(FSTAR) $(subst .checked,,$(notdir $<)) --codegen $(FSTAR_ML_CODEGEN) --extract_module $(basename $(notdir $(subst .checked,,$<)))
+	touch -c $@
 
 $(ALL_KRML_FILES): %.krml:
 	$(FSTAR) $(notdir $(subst .checked,,$<)) --codegen krml \