diff options
author | 2018-07-27 09:17:45 -0700 | |
---|---|---|
committer | 2018-07-27 09:18:53 -0700 | |
commit | 55dc53f441847bbfc9abe2ef65696fc722e7cfec (patch) | |
tree | 97def244151aa0b011ea48e1de0287ec9cb72325 /src/main/java/com/google/devtools/build | |
parent | aa761aec0554de2569d5eb839a8c2ff652f79af1 (diff) |
Adding option to change the root directory name in build_tar.py and archive.py.
This is required to support Windows Docker image creation.
RELNOTES: None
PiperOrigin-RevId: 206326316
Diffstat (limited to 'src/main/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions