on 83d6019 help sign in
streamly/bin/bench.sh
15 lines 417 B history raw
1#!/usr/bin/env bash
3SCRIPT_DIR=$(cd `dirname $0`; pwd)
4source $SCRIPT_DIR/bench-config.sh \
5 || { echo "Cannot source $SCRIPT_DIR/bench-config.sh"; exit 1; }
7bench_config
8if test -z "$BENCH_REPORT_DIR"
9then
10 echo "BENCH_REPORT_DIR variable not defined by bench-config() in $SCRIPT_DIR/bench-config.sh"
11 exit 1
12fi
14cd $SCRIPT_DIR/..
15$BENCH_REPORT_DIR/bin/bench-runner.sh --config $SCRIPT_DIR/bench-config.sh "$@"