| Index: build/module_args/mojo.gni
|
| diff --git a/build/module_args/mojo.gni b/build/module_args/mojo.gni
|
| index a6229e0a4779a31b526c80b835677121a0ea7b0b..51988d8c6d556bbd2773e434ff4a470ba76d5547 100644
|
| --- a/build/module_args/mojo.gni
|
| +++ b/build/module_args/mojo.gni
|
| @@ -5,7 +5,12 @@
|
| # This variable should point to the parent directory of the Mojo SDK.
|
| mojo_sdk_root = "//"
|
|
|
| -# To use the prebuilt shell, simply omit this variable. Note that the prebuilt
|
| +# To build the Mojo shell from source, set this variable to false. To use the
|
| +# prebuilt shell, omit this variable or set it to true. Note that the prebuilt
|
| # shell will be used only on platforms for which it is published (currently
|
| # Linux and Android).
|
| use_prebuilt_mojo_shell = false
|
| +
|
| +# To build the network service from source, set this variable to false. To use
|
| +# the prebuilt network service, omit this variable or set it to true.
|
| +use_prebuilt_network_service = true
|
|
|