#!/bin/bash
echo -n "Running benchmark '"
echo -n $1
echo -n "' ... "
rm -f RUN_BENCH__TIME
rm -f RUN_BENCH__YDB
/usr/bin/time -f "%U\t%S\t%E\t%M" -o RUN_BENCH__TIME ./ydb -b $1 >RUN_BENCH__YDB
cat RUN_BENCH__YDB RUN_BENCH__TIME >>BENCHMARKS
rm RUN_BENCH__TIME
rm RUN_BENCH__YDB
echo "done."