diff options
author | 2018-07-31 02:35:06 -0700 | |
---|---|---|
committer | 2018-07-31 02:36:58 -0700 | |
commit | 03a20ef89bf3c7b1c90f69ce4ae1eb841419bb03 (patch) | |
tree | fcda9130c2db71104c9fdde01059b7e814440423 /src/main/java/com/google/devtools/build/lib/profiler/BUILD | |
parent | 18c5e084d48c704d5afba65f27fa3785012d7326 (diff) |
Use JsonWriter to ensure correct escaping of values
PiperOrigin-RevId: 206729076
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/profiler/BUILD')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/profiler/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/profiler/BUILD b/src/main/java/com/google/devtools/build/lib/profiler/BUILD index 28e7c7b417..85c506dceb 100644 --- a/src/main/java/com/google/devtools/build/lib/profiler/BUILD +++ b/src/main/java/com/google/devtools/build/lib/profiler/BUILD @@ -19,6 +19,7 @@ java_library( "//src/main/java/com/google/devtools/build/lib/collect", "//src/main/java/com/google/devtools/build/lib/concurrent", "//src/main/java/com/google/devtools/common/options", + "//third_party:gson", "//third_party:guava", "//third_party:jsr305", ], |