Updated Travis-CI config with Coverity addon
1 file changed