Index: DEPS |
diff --git a/DEPS b/DEPS |
index 11baed606616193004150e16729f029a4c4941de..4e8d599b55ae8b94c4c762c68872a9e17d6a6bc4 100644 |
--- a/DEPS |
+++ b/DEPS |
@@ -747,6 +747,12 @@ hooks = [ |
'src/third_party/apache-win32', |
], |
}, |
+ # Pull the mojo_shell binary, used for mojo development |
+ { |
+ 'name': 'download_mojo_shell', |
+ 'pattern': '', |
+ 'action': [ 'python', 'src/mojo/public/tools/download_shell_binary.py' ], |
+ }, |
{ |
# A change to a .gyp, .gypi, or to GYP itself should run the generator. |
'name': 'gyp', |