[MLton-commit] r7116

[Matthew Fluet]

Cleanup Makefile; new flags have been supported for last four releases.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2009-06-11 03:23:06 UTC (rev 7115)
+++ mlton/trunk/mlton/Makefile	2009-06-11 03:23:09 UTC (rev 7116)
@@ -43,16 +43,8 @@
 endif
 endif
 
-ifeq (new,$(shell PATH="$(BIN):$$PATH"; mlton -target self >/dev/null 2>&1 && echo new))
-  FLAGS += -target $(TARGET)
-else
-  FLAGS += -host $(TARGET)
-endif
-ifeq (new,$(shell PATH="$(BIN):$$PATH"; mlton -verbose 1 >/dev/null 2>&1 && echo new))
-  FLAGS += -verbose 2 -output "$(AOUT)"
-else
-  FLAGS += -v -o "$(AOUT)"
-endif
+FLAGS += -target $(TARGET)
+FLAGS += -verbose 2 -output "$(AOUT)"
 FLAGS += $(COMPILE_ARGS)
 
 SOURCES :=			\