diff options
| author |  Klaas Boesche <klaasb@google.com> | 2015-10-05 13:45:40 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2015-10-05 15:16:45 +0000 |
| commit | 78ef8c9534f1f18b7033f0e09bf5e575f8b600df (patch) | |
| tree | 90c4bd4b181e96a3d793b692de915ccbd54e38fa /src/main/java/com/google/devtools/build/lib/Constants.java | |
| parent | 3fbcc611533ba19f283afa3e01240456de9e788e (diff) | |
Make CriticalPathStatistics output optional.
Does not change the default output, but allows reuse of PhaseText
without outputting those statistics.
--
MOS_MIGRATED_REVID=104653246
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/Constants.java')
0 files changed, 0 insertions, 0 deletions