]> git.saurik.com Git - bison.git/commitdiff
Improve genericity of bench.pl.
authorAkim Demaille <demaille@gostai.com>
Thu, 17 Jul 2008 09:01:30 +0000 (11:01 +0200)
committerAkim Demaille <demaille@gostai.com>
Mon, 3 Nov 2008 21:00:17 +0000 (22:00 +0100)
* etc/bench.pl.in (&bench_grammar): Take the set of benches as
argument.
(&bench_push_parser): New.
Call it.


No differences found