ged-lab/khmer — pull request #421 by mr-c (2014-05-13 17:01:48+00:00)
Title: Move Coverity scan to Makefile; simplify jenkins-build.sh

Also switches to a version of gcovr that correctly counts branches that were never executed against us. See https://github.com/gcovr/gcovr/pull/28