From 162457b27ed4a8bdf0f9696ae3722090dc1c7d33 Mon Sep 17 00:00:00 2001
From: Michal Podhradsky <podhrmic@users.noreply.github.com>
Date: Fri, 8 Jul 2016 17:29:38 -0700
Subject: [PATCH] Change coverity compiler to arn-embedded

This should allow coverity to use arm-none-eabi-gcc instead of default gcc, see https://github.com/Nitrokey/nitrokey-pro-firmware/commit/f2f98c7c59874fddc006e1d6607438f60bc2f0a8
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 7d44c598e1b..56ed5258da5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -74,7 +74,7 @@ addons:
       name: "paparazzi/paparazzi"
       description: "Build submitted via Travis CI"
     notification_email: paparazzi-builds@nongnu.org
-    build_command_prepend: "make ext"
+    build_command_prepend: "make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc"
     build_command: "make test"
     branch_pattern: coverity_scan