#!/bin/bash
top=`dirname $0`
$top/benchmark "$@" | tee bench/runtime-$HOSTNAME