From 19ee6a86eb785c4f6c464ac57d91b6fe4b8a6138 Mon Sep 17 00:00:00 2001
From: Tim Angus <tim.angus@roslin.ed.ac.uk>
Date: Wed, 27 Aug 2014 16:48:55 +0100
Subject: [PATCH] Add cppcheck stage to jenkins script

---
 jenkins-ci-build.sh | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh
index fb922f25..4a416c4e 100755
--- a/jenkins-ci-build.sh
+++ b/jenkins-ci-build.sh
@@ -8,8 +8,8 @@ cd ${MASTER_DIR}
 
 if [ "$OPTIONS" = "all_options" ];
 then
-    export USE_CODEC_VORBIS=1
-    export USE_FREETYPE=1
+	export USE_CODEC_VORBIS=1
+	export USE_FREETYPE=1
 fi
 
 if [ "$UNAME" == "Darwin" ]; then
@@ -27,6 +27,22 @@ else
 	echo "build type    : ${BUILD_TYPE}"
 fi
 
+if [ -n "${CPPCHECK}" ]; then
+	if [ -e "${CPPCHECK}" ]; then
+		# Copy the existing output
+		BASENAME_CPPCHECK=`basename ${CPPCHECK}`
+		cp ${CPPCHECK} ./${BASENAME_CPPCHECK}
+	else
+		CHECK_CPPCHECK=`command -v cppcheck >/dev/null`
+		if [ "$?" != "0" ]; then
+			echo "cppcheck not installed"
+			exit 1
+		fi
+
+		cppcheck --enable=all --max-configs=1 --xml --xml-version=2 ./code 2> ${CPPCHECK}
+	fi
+fi
+
 make -j${CORES} distclean ${BUILD_TYPE}
 
 exit $?