[patch] makefile-benchmark-20070826.patch

makefile-benchmark-20070826.patch (text/plain), 333 bytes, created by Daniel Herzog on 2007-11-10 23:05:17 UTC

--- benchmark/Makefile	2007-08-26 23:04:03.000000000 +0200
+++ benchmark/Makefile	2007-11-10 18:52:20.000000000 +0100
@@ -10,7 +10,7 @@
 BUILD := $(SRC)/build
 BIN := $(BUILD)/bin
 LIB := $(BUILD)/lib
-MLTON := mlton
+MLTON := ../../usr/bin/mlton
 TARGET := self
 FLAGS := -target $(TARGET)	\
 	-default-ann 'sequenceNonUnit warn' \