diff options
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 |