diff options
Diffstat (limited to 'benchmark/run_benchmarks.sh')
| -rw-r--r-- | benchmark/run_benchmarks.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/benchmark/run_benchmarks.sh b/benchmark/run_benchmarks.sh new file mode 100644 index 0000000..1f055b2 --- /dev/null +++ b/benchmark/run_benchmarks.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +ABSOLUTE_PATH=$(cd `dirname "${BASH_SOURCE[0]}"` && pwd)/`basename "${BASH_SOURCE[0]}"` +SOURCEDIR=`dirname $ABSOLUTE_PATH` +BUILDDIR=$(pwd) + +OUT_PDF="gras_benchmark.pdf" +OUT_PNG="gras_benchmark.png" + +echo "source directory ${SOURCEDIR}" +echo "build directory ${BUILDDIR}" + +python -B $SOURCEDIR/run_benchmarks.py ${OUT_PDF} +convert ${OUT_PDF} /tmp/tmp_gras_bm.png +convert /tmp/tmp_gras_bm*.png -append ${OUT_PNG} +rm /tmp/tmp_gras_bm*.png |