#!/bin/bash

set -o pipefail

GitNewRef=$1
Architecture=$2
Out=$3

make --no-print-directory -C benchmark jenkins githash=${GitNewRef} arch=${Architecture} | tee ${Out}