aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools
diff options
context:
space:
mode:
authorGravatar Klaus Aehlig <aehlig@google.com>2018-01-16 04:51:20 -0800
committerGravatar Copybara-Service <copybara-piper@google.com>2018-01-16 04:53:17 -0800
commit0350ad30e80d5a5eb33362e304be7e2235d05114 (patch)
tree925e176481a97665873a617ff39147ebceb6a4f3 /src/main/java/com/google/devtools
parent0819f73a4065fe7e87f665bb3806610c224dfadb (diff)
http_archive: support programmatic patching
Support applying a sequence of commands to an http_archive, after the patch files are applied. In this way, tasks like shebang-fixes can easily be added. Fixes #3395. Change-Id: Ifdad584a852efd425c436d57ef71a0d681488629 PiperOrigin-RevId: 182037265
Diffstat (limited to 'src/main/java/com/google/devtools')
0 files changed, 0 insertions, 0 deletions