+ if [ "${bench_maxln}" = true ]; then
+ for i in `seq $min_maxln $inc_maxln $max_maxln`; do curr_maxln=$i; launch_benches "$@"; done;
+ else
+ launch_benches "$@";
+ fi
+
+ if [ "${need_plot}" = true ]; then
+ plot_lines out/$bench/$bench.gnu
+ fi
+
+ echo >> "$html" "</body></html>"
+}
+
+function launch_benches()
+{