diff options
author | dbabkin <dbabkin@google.com> | 2018-08-14 01:35:03 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-14 01:36:32 -0700 |
commit | 761560c2dc9af357a8457ac85e05208a4ebde48b (patch) | |
tree | 3f3c52b126c0411897cc80e0c6a3d1c7d431f368 | |
parent | a1a7f0062c91fc923c2e0a10f66a00d2ab4a31a4 (diff) |
Do not create empty tools/defaults/BUILD file.
Cleaning up all references to in-memory tools/defaults:* package.
RELNOTES:none
PiperOrigin-RevId: 208610485
-rw-r--r-- | src/create_embedded_tools.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/create_embedded_tools.py b/src/create_embedded_tools.py index 8d882d092f..4ad4a5a636 100644 --- a/src/create_embedded_tools.py +++ b/src/create_embedded_tools.py @@ -128,10 +128,6 @@ def main(): zipinfo.external_attr = 0o644 << 16 output_zip.writestr(zipinfo, 'workspace(name = "bazel_tools")\n') - zipinfo = zipfile.ZipInfo('tools/defaults/BUILD', (1980, 1, 1, 0, 0, 0)) - zipinfo.external_attr = 0o644 << 16 - output_zip.writestr(zipinfo, '') - for archive_file, input_file in input_files: if os.path.basename(archive_file) in ('jdk.tar.gz', 'jdk.zip'): copy_jdk_into_archive(output_zip, archive_file, input_file) |