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}