travis config: fix intents for coverity analysis.

pull/1007/head
Kim Kulling 2015-12-29 21:02:46 +01:00
parent e4b6e87f14
commit 06046a113c
1 changed files with 4 additions and 4 deletions