diff options
author | Tomas Lundell <tomlu@google.com> | 2017-10-11 10:34:33 -0400 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-10-16 14:16:51 +0200 |
commit | b4a2034b77703b764304acb352325b06912ec279 (patch) | |
tree | 65190b9446ff5a5c4afeda28df96c6bf9688de7e /third_party/BUILD | |
parent | 6bf3f268f4a01963a2ee13f60178664bb056a802 (diff) |
Add allocation-instrumenter to third_party.
This will be used for memory profiling. The jar is necessary
both to compile against and for users to run with as a java agent.
Obtained from https://github.com/google/allocation-instrumenter.
Change-Id: If819d780abb42470b982b4aafc530c6078e76718
Diffstat (limited to 'third_party/BUILD')
-rw-r--r-- | third_party/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/BUILD b/third_party/BUILD index 88766d63c6..99adc3dd17 100644 --- a/third_party/BUILD +++ b/third_party/BUILD @@ -3,6 +3,7 @@ package(default_visibility = ["//visibility:public"]) filegroup( name = "srcs", srcs = glob(["**"]) + [ + "//third_party/allocation_instrumenter:srcs", "//third_party/css/bootstrap:srcs", "//third_party/css/font_awesome:srcs", "//third_party/ijar:srcs", |