blob: f9971e508404c970cbd06b9f65e36cf14587bf8e (
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
|
--- 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
|