diff options
author | Julian Andres Klode <jak@debian.org> | 2016-09-11 13:58:40 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-09-11 17:44:17 +0200 |
commit | bccb344412a0e97afdf0aaaf41a31124c84f6eaa (patch) | |
tree | c57341872a3d83bc5a01ea5b45d9b25d631afacc /doc/po | |
parent | 422a2eba84361a8dfd84b549c13037512779c572 (diff) |
Coverage: Do not print messages from gcov
We need to ignore messages from gcov. All those messages
start with profiling: and are printed using vfprintf(), so
the only thing we can do is add a library overriding those
functions and linking apt-pkg to it.
Diffstat (limited to 'doc/po')
0 files changed, 0 insertions, 0 deletions