[patch] makefile-mlprof-20070826.patch

makefile-mlprof-20070826.patch (text/plain), 368 bytes, created by Daniel Herzog on 2007-11-10 23:03:16 UTC

--- mlprof/Makefile	2007-08-26 23:04:03.000000000 +0200
+++ mlprof/Makefile	2007-11-10 18:51:37.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' -default-ann 'warnUnused true'
 NAME := mlprof