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