Merge branch 'master' of /home/git/concurrency-benchmarks

[c11concurrency-benchmarks.git] / silo / run.sh

#!/bin/bash
source ../run
cd out-perf.check.masstree/
cd benchmarks/
./dbtest $@ -- --verbose -t 5