tree f2c21ac790283ab74ce511aadd70bbdfa38c1f96
parent 508f6c73c48daca3906bb05f91d0279d5e02546d
parent 803af15b580552182858785800c7a3a25ef1edab
author Nicolas Noble <nicolasnoble@users.noreply.github.com> 1449008928 -0800
committer Nicolas Noble <nicolasnoble@users.noreply.github.com> 1449008928 -0800

Merge pull request #4217 from adelez/fix_coverage

Run code coverage no matter if tests failed or succeeded.