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