diff options
| author |  xingao <xingao@google.com> | 2017-10-03 19:25:05 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-10-06 19:42:59 +0200 |
| commit | b7a64cb17e2b52ba099626ea8c27045b1ec1acb2 (patch) | |
| tree | 5015f789c40febc5e89384a91763e7d4c044c795 /tools/zip | |
| parent | cf933eb14c2c23369efcae05e23b6e38106fb6d1 (diff) | |
Enable switching embedded tools target for remote execution.
When --define EXECUTOR=remote is specified in bazel command, embedded
tool zipper will be compiled remotely from source.
PiperOrigin-RevId: 170874829
Diffstat (limited to 'tools/zip')
| -rw-r--r-- | tools/zip/BUILD.tools | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/zip/BUILD.tools b/tools/zip/BUILD.tools index 06bc25e4e5..65335a0b69 100644 --- a/tools/zip/BUILD.tools +++ b/tools/zip/BUILD.tools @@ -2,5 +2,8 @@ package(default_visibility = ["//visibility:public"]) filegroup( name = "zipper", - srcs = glob(["zipper/*"]), + srcs = select({ + "//src:remote": ["//third_party/ijar:zipper"], + "//conditions:default": glob(["zipper/*"]), + }), ) |