diff options
| author |  janakr <janakr@google.com> | 2017-03-29 23:05:50 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2017-03-31 17:07:19 +0200 |
| commit | 31654bd43743440398cca607757ca99e2a64da20 (patch) | |
| tree | 08d1b41a2622d49742a1fe30eb869cb255e5deac /src/main/java/com/google/devtools/build/docgen | |
| parent | 6e35832df1fbafcde5812f013d0b3cecc8d6c6ec (diff) | |
Drop loading-phase values if --discard_analysis_cache is true and we're not keeping incremental state.
PiperOrigin-RevId: 151639711
Diffstat (limited to 'src/main/java/com/google/devtools/build/docgen')
0 files changed, 0 insertions, 0 deletions