Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 65f4a51d81701197701bd6a284d4027a0c9d5dc7)
+++ Jenkinsfile	(revision 8f99233ecbb34b6835aed69ebe38d7b24f3f4dd5)
@@ -153,5 +153,5 @@
 		dir (BuildDir) {
 			//Append bench results
-			sh "set -o pipefail; make --no-print-directory -C benchmark jenkins githash=${Settings.GitNewRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
+			sh "${SrcDir}/jenkins.sh ${GitNewRef} ${Architecture} ${BuildDir}/bench.json"
 		}
 	}
@@ -179,5 +179,5 @@
 
 		//Then publish the results
-		sh 'curl --silent --show-error -H \'Content-Type: application/json\' --data @bench.json https://cforall.uwaterloo.ca:8082/jenkins/publish > /dev/null || true'
+		sh 'curl --silent --show-error -H \'Content-Type: application/json\' --data @${BuildDir}/bench.json https://cforall.uwaterloo.ca:8082/jenkins/publish > /dev/null || true'
 	}
 }
Index: benchmark/jenkins.sh
===================================================================
--- benchmark/jenkins.sh	(revision 8f99233ecbb34b6835aed69ebe38d7b24f3f4dd5)
+++ benchmark/jenkins.sh	(revision 8f99233ecbb34b6835aed69ebe38d7b24f3f4dd5)
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+set -o pipefail
+
+GitNewRef=$1
+Architecture=$2
+Out=$3
+
+make --no-print-directory -C benchmark jenkins githash=${GitNewRef} arch=${Architecture} | tee ${Out}