--- 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 }