From 4d5d1d9947649f0a55755828390209df9760fc02 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Sun, 6 Nov 2016 18:09:57 +0100
Subject: [PATCH] Update coverity and clang to latest version

---
 makesan.sh  | 2 +-
 makescan.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/makesan.sh b/makesan.sh
index 98b9d7f9..7d7eb7c1 100755
--- a/makesan.sh
+++ b/makesan.sh
@@ -4,7 +4,7 @@
 #
 
 # Compiler to use
-COMPILER=clang-3.6
+COMPILER=clang-3.9
 
 # Options for configure
 # --disable-asm
diff --git a/makescan.sh b/makescan.sh
index 5bad29cd..48e0f060 100755
--- a/makescan.sh
+++ b/makescan.sh
@@ -14,7 +14,7 @@ if ! ./configure ; then
 	exit 1
 fi
 
-export PATH=$PATH:contrib/cov-analysis-linux-8.5.0.1/bin
+export PATH=$PATH:contrib/cov-analysis-linux-8.5.0.5/bin
 
 if ! cov-build --dir cov-int make; then
 	exit 1