| Index: third_party/mojo/src/mojo/public/mojo.gni
|
| diff --git a/third_party/mojo/src/mojo/public/mojo.gni b/third_party/mojo/src/mojo/public/mojo.gni
|
| index f2631a0b466cfaf09e1e89c1693b704fac71391e..e7b078d18bd9eb11fc7052d2e0310033ae12179d 100644
|
| --- a/third_party/mojo/src/mojo/public/mojo.gni
|
| +++ b/third_party/mojo/src/mojo/public/mojo.gni
|
| @@ -4,14 +4,6 @@
|
|
|
| import("//build/module_args/mojo.gni")
|
|
|
| -# If using the prebuilt shell, gate its usage by the platforms for which it is
|
| -# published.
|
| -mojo_use_prebuilt_mojo_shell = false
|
| -if (!defined(mojo_build_mojo_shell_from_source) ||
|
| - !mojo_build_mojo_shell_from_source) {
|
| - mojo_use_prebuilt_mojo_shell = is_linux || is_android
|
| -}
|
| -
|
| # If using the prebuilt network service, gate its usage by the platforms for
|
| # which it is published.
|
| mojo_use_prebuilt_network_service = false
|
|
|