#!/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 python3 "$@" | |
try python2.7 "$@" | |
try python27 "$@" | |
try python2 "$@" | |
exec python "$script" "$@" |