[patch] upgrade-basis-20070826.patch

upgrade-basis-20070826.patch (text/plain), 615 bytes, created by Daniel Herzog on 2007-11-10 23:01:01 UTC

--- bin/upgrade-basis	2007-11-10 19:35:58.000000000 +0100
+++ bin/upgrade-basis	2007-11-10 19:36:42.000000000 +0100
@@ -28,7 +28,7 @@
 tmp="$$.sml"
 
 echo "val () = print \"I work\"" >"$tmp"
-if ! mlton "$tmp" 1>&2; then
+if ! ../../usr/bin/mlton "$tmp" 1>&2; then
         die "Error: cannot upgrade basis because the compiler doesn't work" 
 fi
 
@@ -36,7 +36,7 @@
         feature="$1"
         sml="$2"
         echo "$feature" >"$tmp"
-        if ! mlton -stop tc "$tmp" >/dev/null 2>&1; then
+        if ! ../../usr/bin/mlton -stop tc "$tmp" >/dev/null 2>&1; then
                 echo "$sml"
         fi
 }