diff options
| author |  Philipp Wollermann <philwo@google.com> | 2015-11-04 20:53:35 +0000 |
|---|---|---|
| committer |  John Field <jfield@google.com> | 2015-11-05 16:49:54 +0000 |
| commit | fed455e2589d5406adb564899a1f8ae8c7464c23 (patch) | |
| tree | 333fc2afde453ebfed6e3aebc817faef7e1d2286 /src/main/java/com/google/devtools/build/lib/rules/cpp | |
| parent | 0d05f25d178a77c7a7ebb2e98f83378822e25d12 (diff) | |
Flip --worker_verbose to false by default.
--
MOS_MIGRATED_REVID=107069073
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/cpp')
0 files changed, 0 insertions, 0 deletions