| 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
|
|
|