|
|
tmp="$$.sml" | tmp="$$.sml" |
| |
echo "val () = print \"I work\"" >"$tmp" | 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" | die "Error: cannot upgrade basis because the compiler doesn't work" |
fi | fi |
| |
|
|
feature="$1" | feature="$1" |
sml="$2" | sml="$2" |
echo "$feature" >"$tmp" | 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" | echo "$sml" |
fi | fi |
} | } |