Index: infra/bots/utils.py |
diff --git a/infra/bots/utils.py b/infra/bots/utils.py |
index a60ebe97b8977b8479317f80dcd770455d9db6af..12b2ad47764915d20fd184fcb369d72363d3c0bc 100644 |
--- a/infra/bots/utils.py |
+++ b/infra/bots/utils.py |
@@ -19,6 +19,7 @@ import uuid |
GCLIENT = 'gclient.bat' if sys.platform == 'win32' else 'gclient' |
GIT = 'git.bat' if sys.platform == 'win32' else 'git' |
+WHICH = 'where' if sys.platform == 'win32' else 'which' |
class print_timings(object): |