| Index: DEPS
|
| diff --git a/DEPS b/DEPS
|
| index 619c55542aabfe1a60ae56792b5aa0f2a8b13b0d..9a55896272e8d3208d7ab45bb501745337a6bf07 100644
|
| --- a/DEPS
|
| +++ b/DEPS
|
| @@ -410,6 +410,9 @@ deps_os = {
|
| "src/third_party/WebKit/Source/Platform/chromium/public":
|
| Var("ios_webkit_trunk") + "/Source/Platform/chromium/public@" +
|
| Var("ios_webkit_revision"),
|
| + # Pull only the headers from Blink.
|
| + "src/third_party/WebKit/public":
|
| + Var("webkit_trunk") + "/public@" + Var("webkit_revision"),
|
|
|
| # Code that's not needed due to not building everything (especially WebKit).
|
| "src/build/util/support": None,
|
|
|