Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 110233 | Differences between
and this patch

Collapse All | Expand All

(-)bin/upgrade-basis (-2 / +2 lines)
Lines 28-34 Link Here
28
tmp="$$.sml"
28
tmp="$$.sml"
29
29
30
echo "val () = print \"I work\"" >"$tmp"
30
echo "val () = print \"I work\"" >"$tmp"
31
if ! mlton "$tmp" 1>&2; then
31
if ! ../../usr/bin/mlton "$tmp" 1>&2; then
32
        die "Error: cannot upgrade basis because the compiler doesn't work" 
32
        die "Error: cannot upgrade basis because the compiler doesn't work" 
33
fi
33
fi
34
34
Lines 36-42 Link Here
36
        feature="$1"
36
        feature="$1"
37
        sml="$2"
37
        sml="$2"
38
        echo "$feature" >"$tmp"
38
        echo "$feature" >"$tmp"
39
        if ! mlton -stop tc "$tmp" >/dev/null 2>&1; then
39
        if ! ../../usr/bin/mlton -stop tc "$tmp" >/dev/null 2>&1; then
40
                echo "$sml"
40
                echo "$sml"
41
        fi
41
        fi
42
}
42
}

Return to bug 110233