mirror of
https://github.com/void-linux/void-packages.git
synced 2025-09-25 13:15:12 +02:00
10 lines
285 B
Diff
10 lines
285 B
Diff
--- a/Makefile
|
|
+++ b/Makefile
|
|
@@ -310,6 +310,7 @@ bootstrap-polyml:
|
|
$(RM) "$(BIN)/$(MLTON)"
|
|
$(MAKE) OLD_MLTON="$(BIN)/$(MLTON).polyml" all
|
|
$(RM) "$(LIB)/$(MLTON)-polyml$(EXE)"
|
|
+ $(RM) "$(LIB)/$(MLTON_OUTPUT)-polyml$(EXE)"
|
|
$(RM) "$(BIN)/$(MLTON).polyml"
|
|
|
|
.PHONY: polyml-mlton
|