diff options
author | 2018-01-16 04:51:20 -0800 | |
---|---|---|
committer | 2018-01-16 04:53:17 -0800 | |
commit | 0350ad30e80d5a5eb33362e304be7e2235d05114 (patch) | |
tree | 925e176481a97665873a617ff39147ebceb6a4f3 /src/main/java/com/google/devtools | |
parent | 0819f73a4065fe7e87f665bb3806610c224dfadb (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