Index: fetch |
diff --git a/fetch b/fetch |
index 37e8e795dbecf247a542af6cd5089b3621f0922d..1b9709848e4cc34719b68cdefedc5e8e89abb0f3 100755 |
--- a/fetch |
+++ b/fetch |
@@ -9,4 +9,12 @@ if [[ "#grep#fetch#cleanup#diff#" != *"#$1#"* ]]; then |
"$base_dir"/update_depot_tools |
fi |
-PYTHONDONTWRITEBYTECODE=1 exec python "$base_dir/fetch.py" "$@" |
+PYTHON=python |
+ |
+OUTPUT="$(uname | grep 'CYGWIN')" |
+CYGWIN=$? |
+if [ $CYGWIN = 0 ]; then |
+ PYTHON="$base_dir/python.bat" |
+fi |
+ |
+PYTHONDONTWRITEBYTECODE=1 exec "$PYTHON" "$base_dir/fetch.py" "$@" |