github.com/johnnyeven/libtools@v0.0.0-20191126065708-61829c1adf46/configure (about)

     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