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 b87c4639e9277ad5f240ba1749ca964acae071d8..9f1b86b7d203dab69125d1c54555de3066e831d0 100644 |
--- a/third_party/mojo/src/mojo/public/mojo.gni |
+++ b/third_party/mojo/src/mojo/public/mojo.gni |
@@ -2,10 +2,12 @@ |
# Use of this source code is governed by a BSD-style license that can be |
# found in the LICENSE file. |
-declare_args() { |
- # Whether to use a prebuilt mojo_shell binary instead of one built from |
- # source. |
- use_prebuilt_mojo_shell = false |
+import("//build/module_args/mojo.gni") |
+ |
+# If using the prebuilt shell, gate its usage by the platforms for which it is |
+# published. |
+if (!defined(use_prebuilt_mojo_shell) || use_prebuilt_mojo_shell) { |
+ use_prebuilt_mojo_shell = is_linux || is_android |
} |
# The absolute path to the directory containing the mojo public SDK (i.e., the |