6491ad4
1
2
3
4
5
6
7
8
#!/usr/bin/env bash set -e MYDIR=`dirname $0` benchmark_folder=$MYDIR/../benchmarks find $benchmark_folder/* | (while read SERVER; do set -e; $MYDIR/benchmark $SERVER; done)