]> git.saurik.com Git - bison.git/commit
Better defaults for bench.pl.
authorAkim Demaille <demaille@gostai.com>
Mon, 21 Jul 2008 20:00:35 +0000 (22:00 +0200)
committerAkim Demaille <demaille@gostai.com>
Tue, 4 Nov 2008 20:43:24 +0000 (21:43 +0100)
commitef05c4d6f94bb2737b46bdef5fcfefd7469873d9
tree66fb9743f6faf6ca14a887d6425326142deddc6d
parent9718cfa902806db3134c3c883457b548e23fb4a4
Better defaults for bench.pl.

* etc/bench.pl.in ($verbose, $cflags, $iterations): Change the
default values.
Adjust &verbose uses.
(-q, --quiet): New.
ChangeLog
etc/bench.pl.in