diff options
| author |  Googler <noreply@google.com> | 2018-06-15 17:33:57 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-15 17:35:34 -0700 |
| commit | c6b852ec0df08ddd1bc542e6f0a78c1cc71c62e8 (patch) | |
| tree | e5da89aa1e399fb0a48e5a8877814f2be3d61832 /src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java | |
| parent | 24e8f297ed7402377cfae6c9f7a1620dd62b4208 (diff) | |
Allow CppCompilationHelper to disable coverage instrumentation
RELNOTES=None
PiperOrigin-RevId: 200800112
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java')
0 files changed, 0 insertions, 0 deletions