Run win tools in git bash
Change-Id: Ieada857f2b9f77114196d1574717e80f5d51963a
diff --git a/.gitignore b/.gitignore
index a242c60..62f312a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,8 @@
/pylint.bat
/python
/python.bat
+/python2
+/python2.bat
/ssh.bat
/ssh-keygen.bat
/svn
diff --git a/update_depot_tools b/update_depot_tools
index 81d9979..2e017f4 100755
--- a/update_depot_tools
+++ b/update_depot_tools
@@ -18,6 +18,7 @@
if [ $MINGW = 0 ]; then
base_dir="${0%/*}"
+ $base_dir/bootstrap/win/win_tools.bat
else
base_dir=$(dirname "$0")
if [ -L "$base_dir" ]; then