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 |