diff options
author | 2015-10-05 13:45:40 +0000 | |
---|---|---|
committer | 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