diff options
Diffstat (limited to 'tools/BUILD')
-rw-r--r-- | tools/BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/BUILD b/tools/BUILD index bbf75a398e..65e1a659a1 100644 --- a/tools/BUILD +++ b/tools/BUILD @@ -39,7 +39,6 @@ filegroup( srcs = glob(["**"]) + [ "//tools/android:embedded_tools", "//tools/build_defs/apple:srcs", - "//tools/build_defs/docker:srcs", "//tools/build_defs/hash:srcs", "//tools/build_defs/pkg:srcs", "//tools/build_defs/repo:srcs", |