diff options
| author |  László Csomor <laszlocsomor@google.com> | 2017-08-11 10:28:36 +0200 |
|---|---|---|
| committer |  Marcel Hlopko <hlopko@google.com> | 2017-08-11 12:56:56 +0200 |
| commit | 0783b9e81328729353cfad7ec25391c03d7f772a (patch) | |
| tree | 8c68cb2697f13359847814b1e4ecf8708ead37ea /src/BUILD | |
| parent | 5f99fdab1485186292068d274411201e4fb9208f (diff) | |
Rewrite //:combine_distfiles.sh in Python
It can only pack to zip for now (packing to tar is
not trivial and I haven't figured it out yet).
This allows building //:bazel-distfile on Windows.
Previously it was either timing out or taking so
long that it was unbearable (over 10 minutes).
I never waited long enough to see it build.
The new Python version runs under just a few
seconds.
Change-Id: I3264eb7132dd58c581c4216e5bbab035a79d716d
PiperOrigin-RevId: 164954162
Diffstat (limited to 'src/BUILD')
| -rw-r--r-- | src/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -125,6 +125,7 @@ filegroup( py_library( name = "create_embedded_tools_lib", srcs = ["create_embedded_tools_lib.py"], + visibility = ["//:__pkg__"], ) py_binary( |