diff options
author | Gael Guennebaud <g.gael@free.fr> | 2016-12-06 16:46:22 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2016-12-06 16:46:22 +0100 |
commit | 1b4e085a7f437157a701f32047b60525567c6357 (patch) | |
tree | fc4308f612b574444a10cf1cb7c65cb960b2715f /bench | |
parent | f725f1cebc357f9e7d2d60a8c590d221bc877172 (diff) |
generate png file for web upload
Diffstat (limited to 'bench')
-rwxr-xr-x | bench/perf_monitoring/gemm/make_plot.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/perf_monitoring/gemm/make_plot.sh b/bench/perf_monitoring/gemm/make_plot.sh index 11f3c53be..3318c4341 100755 --- a/bench/perf_monitoring/gemm/make_plot.sh +++ b/bench/perf_monitoring/gemm/make_plot.sh @@ -33,7 +33,7 @@ echo " " >> $WHAT.gnuplot gnuplot -persist < $WHAT.gnuplot # generate a png file -# convert -background white -density 120 -rotate 90 -resize 800 +dither -colors 256 -quality 0 $WHAT.ps -background white -flatten .$WHAT.png +convert -background white -density 1000 -resize 1000 -colors 256 -quality 0 $WHAT.pdf -background white -flatten $WHAT.png # clean rm $WHAT.out.header $WHAT.gnuplot |