1 #!/usr/bin/env bash 2 3 set -e 4 set -o pipefail 5 6 if [ -z "$PYTHON_BIN_PATH" ]; then 7 PYTHON_BIN_PATH=$(which python || which python3 || true) 8 fi 9 10 # Set all env variables 11 CONFIGURE_DIR=$(dirname "$0") 12 "$PYTHON_BIN_PATH" "${CONFIGURE_DIR}/configure.py" "$@" 13 14 echo "Configuration finished" 15 16
