From 4646115f03ffafa471595ee61d7b7d39dec893c9 Mon Sep 17 00:00:00 2001
From: Tim Angus <tim.angus@roslin.ed.ac.uk>
Date: Wed, 27 Aug 2014 17:13:27 +0100
Subject: [PATCH] Link instead of copy

---
 jenkins-ci-build.sh | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh
index 4a416c4e..2a94cfab 100755
--- a/jenkins-ci-build.sh
+++ b/jenkins-ci-build.sh
@@ -28,19 +28,17 @@ else
 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 [ ! -f "${CPPCHECK}" ]; then
+		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}
+		cppcheck --enable=all --max-configs=1 --xml --xml-version=2 code 2> ${CPPCHECK}
 	fi
+
+	ln -s ${CPPCHECK} cppcheck.xml
 fi
 
 make -j${CORES} distclean ${BUILD_TYPE}