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, |