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..b159f252e7dc9d4b6c3603fa4617278df6650442 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,13 @@ source_set("blink_headers") { |
"web/win/WebFontRendering.h", |
] |
+ if (is_android) { |
+ # Android uses some Linux sources, put those back. |
+ set_sources_assignment_filter([]) |
+ sources += [ "web/linux/WebFontRendering.h" ] |
+ set_sources_assignment_filter(sources_assignment_filter) |
+ } |
+ |
public_configs = [ |
":blink_headers_config", |