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 /debian/source | |
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 'debian/source')
0 files changed, 0 insertions, 0 deletions