Merge pull request #3421 from jonahbeckford/fix-win32-wildcard

Avoid wildcard expansion when making F# builds
FStarLang · Aug 28, 2024 · f062904 · f062904
2 parents b2e21e3 + 18f5b10
commit f062904
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ulib/Makefile.extract.fsharp b/ulib/Makefile.extract.fsharp
@@ -31,7 +31,7 @@ MY_FSTAR=$(FSTAR) $(OTHERFLAGS) --warn_error @241 --cache_checked_modules --odir
 # And then, in a separate invocation, from each .checked file we
 # extract an .fs file
 $(OUTPUT_DIRECTORY)/%.fs:
-	$(MY_FSTAR) --already_cached '*' $(subst .checked,,$(notdir $<)) --codegen $(CODEGEN) --extract_module $(basename $(notdir $(subst .checked,,$<)))
+	$(MY_FSTAR) --already_cached '*,' $(subst .checked,,$(notdir $<)) --codegen $(CODEGEN) --extract_module $(basename $(notdir $(subst .checked,,$<)))
 
 .depend.extract.fsharp:
 	$(call msg, "DEPEND")