Searched refs:db_bench_cmd (Results 1 – 1 of 1) sorted by relevance
219 db_bench_cmd="("'\$(which time)'" -p $DB_BENCH_DIR/db_bench \247 db_bench_cmd="$SSH $REMOTE_USER_AT_HOST \"$db_bench_cmd\""270 cmd="($db_bench_cmd || db_bench_error=1) | tee -a $RESULT_PATH/$1"