| Index: third_party/mojo/src/mojo/edk/DEPS
|
| diff --git a/third_party/mojo/src/mojo/edk/DEPS b/third_party/mojo/src/mojo/edk/DEPS
|
| index 11e5e7f0eac241a5fc2a5da91d04a398d8e5a12b..472ff42909b6243d027c5b5987a202b58fb32ea6 100644
|
| --- a/third_party/mojo/src/mojo/edk/DEPS
|
| +++ b/third_party/mojo/src/mojo/edk/DEPS
|
| @@ -9,4 +9,9 @@ include_rules = [
|
|
|
| # internal includes.
|
| "+mojo",
|
| +
|
| + # TODO(use_chrome_edk): temporary
|
| + "+../../../../../../mojo/edk/system/core.h",
|
| + "+../../../../../../mojo/edk/embedder/embedder_internal.h",
|
| + "+../../../../../../mojo/edk/embedder/simple_platform_support.h",
|
| ]
|
|
|