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 |