diff --git a/configure b/configure index 1f801a4a..f38dd4a4 100755 --- a/configure +++ b/configure @@ -37,6 +37,9 @@ cd $CUR_DIR # checkPython() { + if [ -z "$PYTHON" ] ; then + PYTHON=`which python2 2>/dev/null` + fi if [ -z "$PYTHON" ] ; then PYTHON=`which python 2>/dev/null` fi @@ -85,6 +88,7 @@ checkWAF() else printf $GREEN"$WAF"$NORMAL"\n" fi + WAF="$PYTHON $WAF" } # Generates a Makefile. Requires that $WAF is set.