Index: webkit/media/webkit_media.gypi |
diff --git a/webkit/media/webkit_media.gypi b/webkit/media/webkit_media.gypi |
index 6cbd9cd9c40ad5405bcd8420b9c8a3b63447f69c..cc6cc926ec45da205e4535d9f2f22cd07ff5b6d5 100644 |
--- a/webkit/media/webkit_media.gypi |
+++ b/webkit/media/webkit_media.gypi |
@@ -127,6 +127,8 @@ |
'sources': [ |
'android/media_source_delegate.cc', |
'android/media_source_delegate.h', |
+ 'android/webmediaplayer_tv.cc', |
+ 'android/webmediaplayer_tv.h', |
], |
'sources!': [ |
'crypto/key_systems_info.cc', |