Index: update_depot_tools |
diff --git a/update_depot_tools b/update_depot_tools |
index 64861c3877e24edd08e5a25b755dea5efb80f706..0177877d47907ac89e771c6225ffa09f27d28ff4 100755 |
--- a/update_depot_tools |
+++ b/update_depot_tools |
@@ -28,8 +28,8 @@ fi |
# Don't try to use Cygwin tools. Get real win32 tools using the batch script. |
OUTPUT="$(uname | grep 'CYGWIN')" |
CYGWIN=$? |
-if [ $CYGWIN = 0 ]; then |
- cmd /c `cygpath -w "$base_dir/bootstrap/win/win_tools.bat"` |
+if [ $CYGWIN = 0 ] || [ $MINGW = 0 ]; then |
+ $COMSPEC /c `cygpath -w "$base_dir/bootstrap/win/win_tools.bat"` |
fi |
CANONICAL_GIT_URL="https://chromium.googlesource.com/chromium/tools/depot_tools.git" |