Index: media/media_options.gni |
diff --git a/media/media_options.gni b/media/media_options.gni |
index d6ab4f4249fdf03b06e294cc4f537fe282e66ab1..a085b8c669f0cd4244e639b580ad03883c192d64 100644 |
--- a/media/media_options.gni |
+++ b/media/media_options.gni |
@@ -119,3 +119,7 @@ declare_args() { |
} |
} |
} |
+ |
+declare_args() { |
+ enable_media_remoting = !is_chromecast && !is_ios && !is_android |
xhwang
2016/10/05 05:27:53
Please add documentation about what this is.
xjz
2016/10/05 17:24:23
Done.
|
+} |