blob: 551a64ee381740fd94132d61df021e37ad56a144 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
diff --git a/configure b/configure
index 5c870e1d7..2f5834083 100755
--- a/configure
+++ b/configure
@@ -14,20 +14,8 @@ inpath()
}
if ( inpath bash ); then
- pp=""
- for p in python3 python3.8 python3.7 python3.6 python3.5 python3.4 python3.3 python3.2 python3.1 python2 python2.7 python
- do
- if ( inpath $p ); then
- 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
+ exec python `dirname $0`/make/configure.py "$@"
+ exit 0
else
echo "ERROR: bash shell not found."
fi
|