Index: webkit/media/webkit_media.gypi |
diff --git a/webkit/media/webkit_media.gypi b/webkit/media/webkit_media.gypi |
index 994a3542c51d635a746445731c14a249c39401f6..d1529910e503549cfa5792c7ab9a339e6eb0edc9 100644 |
--- a/webkit/media/webkit_media.gypi |
+++ b/webkit/media/webkit_media.gypi |
@@ -65,8 +65,13 @@ |
['OS == "android"', { |
'sources!': [ |
'audio_decoder.cc', |
+ 'audio_decoder.h', |
+ 'filter_helpers.cc', |
+ 'filter_helpers.h', |
'webmediaplayer_impl.cc', |
'webmediaplayer_impl.h', |
+ 'webmediaplayer_proxy.cc', |
+ 'webmediaplayer_proxy.h', |
], |
'dependencies': [ |
'<(DEPTH)/media/media.gyp:player_android', |