Changeset 62d375b for configure

Timestamp:

2020-09-01T11:24:35Z (4 years ago)

Author:

dequis <dx@…>

Branches:

master

Children:

75222ab

Parents:

c81b412 (diff), f18209a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge PR 149 (Use python3 when python is not available)

File:

• configure (modified) (2 diffs)

configure

@@ -776 +776 @@
 
 if [ -z "$PYTHON" ]; then
-        PYTHON=python
+        for pp in python python3 python2; do
+                if which $pp > /dev/null; then
+                        PYTHON=$pp
+                        break
+                fi
+        done
 fi
 
@@ -980 +985 @@
 fi
 
+echo '  Using python: '$PYTHON
 echo '  Using event handler: '$events
 echo '  Using SSL library: '$ssl