| Index: mojo/public/tools/BUILD.gn
|
| diff --git a/mojo/public/tools/BUILD.gn b/mojo/public/tools/BUILD.gn
|
| index b5cfcd49f6f1a1ff5d59af6c43586ca7f259c4f9..1b3747a1c8e9f01647e9e3b54a35e94db88db83c 100644
|
| --- a/mojo/public/tools/BUILD.gn
|
| +++ b/mojo/public/tools/BUILD.gn
|
| @@ -31,10 +31,10 @@ if (use_prebuilt_mojo_shell) {
|
| if (use_prebuilt_network_service) {
|
| copy("copy_network_service") {
|
| filename = "network_service.mojo"
|
| - if (defined(prebuilt_network_service_location) &&
|
| - prebuilt_network_service_location != "") {
|
| + if (defined(mojo_prebuilt_network_service_location) &&
|
| + mojo_prebuilt_network_service_location != "") {
|
| sources = [
|
| - "$prebuilt_network_service_location",
|
| + "$mojo_prebuilt_network_service_location",
|
| ]
|
| } else {
|
| if (is_android) {
|
|
|