1 files changed, 9 insertions, 4 deletions
diff --git a/configure b/configure
index dc7c8bc01..14f08a3cb 100755
--- a/configure
+++ b/configure
@@ -14,15 +14,20 @@ inpath()
 }
 
 if ( inpath bash ); then
+    pp=""
     for p in python3 python2 python
     do
         if ( inpath $p ); then
-            exec $p `dirname $0`/make/configure.py "$@"
-            exit 0
-        else
-            echo "ERROR: no suitable version of python found."
+            pp="$p"
+            break
         fi
     done
+    if [ pp != "" ]; then
+        exec $pp `dirname $0`/make/configure.py "$@"
+        exit 0
+    else
+        echo "ERROR: no suitable version of python found."
+    fi
 else
     echo "ERROR: bash shell not found."
 fi