diff --git a/python-bin/python3 b/python-bin/python3 index 87cf0ca69..eec359016 100755 --- a/python-bin/python3 +++ b/python-bin/python3 @@ -2,6 +2,11 @@ DEPOT_TOOLS=$(dirname "$0")/.. -PYTHON3_BIN_DIR="$DEPOT_TOOLS/$(cat $DEPOT_TOOLS/python3_bin_reldir.txt | xargs echo)" +if [ "$OSTYPE" = "msys" ] +then + PYTHON3_BIN_DIR="$DEPOT_TOOLS/$(sed -e 's-\\-/-g' $DEPOT_TOOLS/python3_bin_reldir.txt)" +else + PYTHON3_BIN_DIR="$DEPOT_TOOLS/$(cat $DEPOT_TOOLS/python3_bin_reldir.txt)" +fi PATH="$PYTHON3_BIN_DIR":"$PYTHON3_BIN_DIR/Scripts":"$PATH" "$PYTHON3_BIN_DIR/python3" "$@"