aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar dbabkin <dbabkin@google.com>2018-08-14 01:35:03 -0700
committerGravatar Copybara-Service <copybara-piper@google.com>2018-08-14 01:36:32 -0700
commit761560c2dc9af357a8457ac85e05208a4ebde48b (patch)
tree3f3c52b126c0411897cc80e0c6a3d1c7d431f368
parenta1a7f0062c91fc923c2e0a10f66a00d2ab4a31a4 (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.py4
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)