[rustc.git] / configure

#!/bin/sh

script="$(dirname $0)"/src/bootstrap/configure.py

try() {
    cmd=$1
    shift
    T=$($cmd --version 2>/dev/null)
    if [ $? -eq 0 ]; then
        exec $cmd "$script" "$@"
    fi
}

try python2.7 "$@"
try python27 "$@"
try python2 "$@"
exec python $script "$@"
Commit	Line	Data
223e47cc LB	1	#!/bin/sh
223e47cc LB	2
ea8adc8c	3	script="$(dirname $0)"/src/bootstrap/configure.py
7453a54e	4
ea8adc8c XL	5	try() {
ea8adc8c XL	6	cmd=$1
223e47cc	7	shift
ea8adc8c XL	8	T=$($cmd --version 2>/dev/null)
	9	if [ $? -eq 0 ]; then
	10	exec $cmd "$script" "$@"
c1a9b12d SL	11	fi
	12	}
	13
ea8adc8c XL	14	try python2.7 "$@"
	15	try python27 "$@"
	16	try python2 "$@"
	17	exec python $script "$@"