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