diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2015-10-07 16:06:48 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2015-10-07 16:06:48 +0200 |
| commit | 13294b5152578bf9eb2bfe67f20b8f14f9e755b4 (patch) | |
| tree | cba9deb22753ec80b3a525393aac2dcd91b556c9 /bench/perf_monitoring/gemm/make_plot.sh | |
| parent | 247259f805f914f4c0f9cae44771f68da2b4eb40 (diff) | |
Unify gemm and lazy_gemm benchmarks
Diffstat (limited to 'bench/perf_monitoring/gemm/make_plot.sh')
| -rwxr-xr-x | bench/perf_monitoring/gemm/make_plot.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bench/perf_monitoring/gemm/make_plot.sh b/bench/perf_monitoring/gemm/make_plot.sh index 609c471f9..4d6053501 100755 --- a/bench/perf_monitoring/gemm/make_plot.sh +++ b/bench/perf_monitoring/gemm/make_plot.sh @@ -4,6 +4,7 @@ # it reads $1.out # and generates $1.pdf WHAT=$1 +bench=$2 header="rev " while read line @@ -11,7 +12,7 @@ do if [ ! -z '$line' ]; then header="$header \"$line\"" fi -done < settings.txt +done < $bench"_settings.txt" echo $header > $WHAT.out.header cat $WHAT.out >> $WHAT.out.header |