Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 192d4a57d761cf2dd41a849b96a01f9e376ba798)
+++ Jenkinsfile	(revision ede87c6a5f0d54fbb88873625f5058e3f072cf1b)
@@ -153,5 +153,5 @@
 		dir (BuildDir) {
 			//Append bench results
-			sh "${SrcDir}/jenkins.sh ${Settings.GitNewRef} ${Settings.Architecture} ${BuildDir}/bench.json"
+			sh "${SrcDir}/benchmark/jenkins.sh ${Settings.GitNewRef} ${Settings.Architecture} ${BuildDir}/bench.json"
 		}
 	}