diff options
| author |  Andreas Bergmeier <abergmeier@gmx.net> | 2017-12-01 07:30:35 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2017-12-01 07:32:29 -0800 |
| commit | 062da5cbb5848dbfa1cf8bae028b06313a84ef0d (patch) | |
| tree | ef4ed5a16f9a81958453953da008e1d6c44b1875 /BUILD | |
| parent | ff12a22fde96a28d6ad1279b60a421163e772aa6 (diff) | |
Prevent git filegroup from choking on gitk temporary files.
Closes #4168.
PiperOrigin-RevId: 177589539
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -27,7 +27,10 @@ filegroup( filegroup( name = "git", - srcs = glob([".git/**"]), + srcs = glob( + [".git/**"], + exclude = [".git/**/*[*"], # gitk creates temp files with [] + ), ) filegroup( |