diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2017-01-18 11:31:13 +0100 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2017-01-19 00:57:38 +0100 |
| commit | 33f982b90a4f77be18cb82daf8c79e9c5513761c (patch) | |
| tree | 0161bc7b57b3a03d959419c4c145221a7504dd3a /test/integration/test-bug-807012-mixed-case-package-names | |
| parent | 803dabde5a4345ce83b3d2ffbd475786db9769d9 (diff) | |
don't show update stats if cache generation is disabled
Unlikely that anyone is actually running into this, but if we asked to
not generate a cache and avoid it in the first step we shouldn't create
one implicitly anyway by displaying the statistics.
Diffstat (limited to 'test/integration/test-bug-807012-mixed-case-package-names')
0 files changed, 0 insertions, 0 deletions