+# This command is used by "make clean", so don't rely on ./configure
+set -e
+for python in \
+ python3 \
+ python3.10 \
+ python3.9 \
+ python3.8 \
+ python3.7 \
+ python3.6 \
+ python \
+ python2.7; do \
+ if command -v "$python"; then
+ exec "$python" "$0" "$@"
+ fi
+done
+echo "error: unable to find suitable python executable; please report" 1>&2
+exit 2