Index: DEPS |
diff --git a/DEPS b/DEPS |
index 0dd8e351de6617cf7776284339b0070e27f54d9e..2af7b0afb19d41587ab1c0f158feaba16007801c 100644 |
--- a/DEPS |
+++ b/DEPS |
@@ -203,6 +203,22 @@ skip_child_includes = [ |
'sky', |
'testing', |
'third_party', |
+ |
+ # These directories are copied in from Chromium; however, the top-level |
+ # include_rules in Mojo are more restrictive than in Chromium, so checkdeps |
blundell
2015/01/23 13:25:12
FYI, the specific problem here is the removal of "
|
+ # won't necessarily pass on them in Mojo. |
+ 'base', |
+ 'build', |
+ 'cc', |
+ 'gin', |
+ 'gpu', |
+ 'mojo/services/network', |
+ 'net', |
+ 'sandbox/linux', |
+ 'sdch', |
+ 'skia', |
+ 'ui/gl', |
+ 'url', |
] |