cockpit-project/cockpit — pull request #277 by mvollmer (2014-03-17 10:32:57+00:00)
Title: tools: Fix up 'make coverage' output...

...by removing unwanted stuff and initializing things so that all
sources are included in the output.

Signed-off-by: Marius Vollmer