diff options
| author |  xingao <xingao@google.com> | 2017-10-05 19:34:28 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-10-06 19:47:16 +0200 |
| commit | 3608a4df823f935bd535840c3a9304670faa5132 (patch) | |
| tree | 98f2650d6f5d2836ba202943f41922390b945127 /tools | |
| parent | a784c8fc3a7b812bd2f4d9cfa9fdc1c9695ada13 (diff) | |
Enable switching launcher's Windows target for remote execution.
When --define EXECUTOR=remote is specified in bazel command, embedded
tools 'launcher' will be compiled remotely from source.
PiperOrigin-RevId: 171172084
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/launcher/BUILD.tools | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/tools/launcher/BUILD.tools b/tools/launcher/BUILD.tools index 8679c1a32f..960e0c5a37 100644 --- a/tools/launcher/BUILD.tools +++ b/tools/launcher/BUILD.tools @@ -1,11 +1,19 @@ package(default_visibility = ["//visibility:public"]) filegroup( + name = "launcher_windows", + srcs = select({ + "//src:remote": ["//src/tools/launcher:launcher"], + "//conditions:default": ["launcher.exe"], + }), +) + +filegroup( name = "launcher", srcs = select({ - "//src:host_windows": ["launcher.exe"], - "//src:host_windows_msvc": ["launcher.exe"], - "//src:host_windows_msys": ["launcher.exe"], + "//src:host_windows": [":launcher_windows"], + "//src:host_windows_msvc": [":launcher_windows"], + "//src:host_windows_msys": [":launcher_windows"], "//conditions:default": [ "//src/tools/launcher:launcher", ], |