Index: benchmark/jenkins.sh
===================================================================
--- benchmark/jenkins.sh	(revision bee06942613823dfa3adc6451bf356922ada830e)
+++ benchmark/jenkins.sh	(revision bee06942613823dfa3adc6451bf356922ada830e)
@@ -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}