diff options
author | Gael Guennebaud <g.gael@free.fr> | 2016-12-07 16:30:11 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2016-12-07 16:30:11 +0100 |
commit | 780f3c1adfee29ee25f52b3a3a480e9626a2b91d (patch) | |
tree | 3bb440471991d64be06c41d883abf54a05861ea5 /bench/perf_monitoring/make_plot.sh | |
parent | 3855ab472f1bd523ba51122b731c4336182a3268 (diff) |
Fix call to convert on linux
Diffstat (limited to 'bench/perf_monitoring/make_plot.sh')
-rwxr-xr-x | bench/perf_monitoring/make_plot.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/perf_monitoring/make_plot.sh b/bench/perf_monitoring/make_plot.sh index fa44b0f28..ca9fa9662 100755 --- a/bench/perf_monitoring/make_plot.sh +++ b/bench/perf_monitoring/make_plot.sh @@ -33,7 +33,7 @@ echo " " >> $WHAT.gnuplot gnuplot -persist < $WHAT.gnuplot # generate a png file (thumbnail) -convert -background white -density 300 -resize 300 -colors 256 -quality 0 $WHAT.pdf -background white -flatten $WHAT.png +convert -colors 256 -background white -density 300 -resize 300 -quality 0 $WHAT.pdf -background white -flatten $WHAT.png # clean rm $WHAT.out.header $WHAT.gnuplot |