#!/bin/sh -ue

if [ -d .svn ]
then
	SVNID=$(svn info | sed -nre 's/^Revision: //p')
elif [ -d .git ]
then
	SVNID=$(git svn info | sed -nre 's/^Revision: //p')
else
	echo "No .svn or .git directory found" >&2
	exit 1
fi

cd src
eatmydata ../run-local ./benchmark > "bench/$SVNID-`hostname`-`date +%Y%m%d-%H%M%S`.csv"
