Fix to Coverity config in Travis-CI
1 file changed