Index: third_party/WebKit/public/BUILD.gn |
diff --git a/third_party/WebKit/public/BUILD.gn b/third_party/WebKit/public/BUILD.gn |
index 742bd7bd69c285436cd196c6af596a2c78a29606..131e91b1f41a7773b64dd0ad6c84f4a84f50a53c 100644 |
--- a/third_party/WebKit/public/BUILD.gn |
+++ b/third_party/WebKit/public/BUILD.gn |
@@ -431,6 +431,7 @@ source_set("blink_headers") { |
"platform/modules/serviceworker/WebServiceWorkerResponseType.h", |
"platform/modules/serviceworker/WebServiceWorkerSkipWaitingCallbacks.h", |
"platform/modules/serviceworker/WebServiceWorkerState.h", |
+ "platform/modules/serviceworker/WebServiceWorkerStreamHandle.h", |
"platform/modules/vr/WebVR.h", |
"platform/modules/webmidi/WebMIDIAccessor.h", |
"platform/modules/webmidi/WebMIDIAccessorClient.h", |
@@ -622,6 +623,16 @@ source_set("blink_headers") { |
"web/win/WebFontRendering.h", |
] |
+ if (is_android) { |
+ # Android uses some Linux sources, put those back. |
+ set_sources_assignment_filter([]) |
+ sources += [ |
+ "platform/linux/WebFontRenderStyle.h", |
+ "web/linux/WebFontRendering.h", |
+ ] |
+ set_sources_assignment_filter(sources_assignment_filter) |
+ } |
+ |
public_configs = [ |
":blink_headers_config", |