diff options
| author |  Adam Michael <ajmichael@google.com> | 2016-09-30 21:01:07 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-10-04 08:53:15 +0000 |
| commit | 954c8abcf7e11ac491059cfbaa968bc6a64b4772 (patch) | |
| tree | 1de460214f3b4ae2dec4b56528405fa91f19b07a /src/main/java/com/google/devtools/build/lib/events | |
| parent | 3c0d64886d2f7f6b2015780f1628b1391c320d0f (diff) | |
Use ijar:zipper instead of zipinfo for zip_manifest_creator.sh.
Also, explicitly puts tools/zip:zipper and tools/zip:zip_manifest_creator.sh into BUILD.tools because they are only used from within @build_tools.
--
MOS_MIGRATED_REVID=134824173
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/events')
0 files changed, 0 insertions, 0 deletions