diff options
| -rw-r--r-- | tools/BUILD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/BUILD b/tools/BUILD index 2256545d04..aa30e075a7 100644 --- a/tools/BUILD +++ b/tools/BUILD @@ -45,6 +45,8 @@ filegroup( filegroup( name = "embedded_tools_srcs", srcs = glob(["**"]) + [ + "//tools/android/jack:srcs", + "//tools/android:srcs", "//tools/build_defs/d:srcs", "//tools/build_defs/docker:srcs", "//tools/build_defs/jsonnet:srcs", |