| Index: DEPS
|
| diff --git a/DEPS b/DEPS
|
| index e6d019d898de6436394b2ef95b2cccf659f286e3..8703c0dd1d5dc1bfd3f5d7cfdd2c40ed965f029e 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': 'mojo_shell-linux',
|
| + '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',
|
|
|