Comment 2 for bug 1225140

Revision history for this message
Andrea Corbellini (andrea.corbellini) wrote :

Here I see two issues:

1. /usr/bin/coverage is not installed;
2. "--help output references wrong executable name".

The first should be fixed in the Debian/Ubuntu packaging. The latter should be fixed upstream.