diff options
| author |  Michajlo Matijkiw <michajlo@google.com> | 2016-09-16 15:44:35 +0000 |
|---|---|---|
| committer |  Laszlo Csomor <laszlocsomor@google.com> | 2016-09-19 07:34:41 +0000 |
| commit | af79a3255157076962d127a6e61f1bebc7b85939 (patch) | |
| tree | c463a7596b7fad97236529eac51cc8b0f268bb47 /src/main/java/com/google/devtools/common/options | |
| parent | 5deab1e63b5d526d9851b15ac9f7484c751496ea (diff) | |
Allow configuring writing of command.log
Sometimes, especially in the case of a lot of output, one may not want to write
everything twice.
--
MOS_MIGRATED_REVID=133388416
Diffstat (limited to 'src/main/java/com/google/devtools/common/options')
0 files changed, 0 insertions, 0 deletions