[patch] mlton-bin-20070826.patch

mlton-bin-20070826.patch (text/plain), 259 bytes, created by Daniel Herzog on 2007-11-10 23:01:32 UTC

--- ../usr/bin/mlton	2007-11-10 17:47:08.000000000 +0100
+++ ../usr/bin/mlton	2007-11-10 17:46:57.000000000 +0100
@@ -5,7 +5,7 @@
 set -e
 
 dir=`dirname "$0"`
-lib='/usr/lib/mlton'
+lib='/usr/lib/mlton'
 eval `"$lib/platform"`
 gcc='gcc'
 case "$HOST_OS" in