diff options
| author | Josh Blum | 2013-04-12 01:06:04 -0700 |
|---|---|---|
| committer | Josh Blum | 2013-04-12 01:06:04 -0700 |
| commit | 332d4d256b706360d3df81d6c9f5c9fc7b876aed (patch) | |
| tree | 442143beeb01e94d0aa02bf9689f2fb5a9905b40 /benchmark/run_benchmarks.sh | |
| parent | 28b125f5ffe0e70e807fedc545e01d24464d8823 (diff) | |
| download | sandhi-332d4d256b706360d3df81d6c9f5c9fc7b876aed.tar.gz sandhi-332d4d256b706360d3df81d6c9f5c9fc7b876aed.tar.bz2 sandhi-332d4d256b706360d3df81d6c9f5c9fc7b876aed.zip | |
gras: added suffix for benchmark results
Diffstat (limited to 'benchmark/run_benchmarks.sh')
| -rw-r--r-- | benchmark/run_benchmarks.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/benchmark/run_benchmarks.sh b/benchmark/run_benchmarks.sh index 1f055b2..65aeadd 100644 --- a/benchmark/run_benchmarks.sh +++ b/benchmark/run_benchmarks.sh @@ -1,16 +1,18 @@ #!/bin/bash +SUFFIX=$1 + 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" +OUT_PDF="gras_benchmark_${SUFFIX}.pdf" +OUT_PNG="gras_benchmark_${SUFFIX}.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 +convert ${OUT_PDF} /tmp/tmp_gras_bm_${SUFFIX}.png +convert /tmp/tmp_gras_bm_${SUFFIX}*.png -append ${OUT_PNG} +rm /tmp/tmp_gras_bm_${SUFFIX}*.png |