diff options
| -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) |