Improve genericity of bench.pl.

* etc/bench.pl.in (&bench_grammar): Take the set of benches as
	argument.
	(&bench_push_parser): New.
	Call it.
This commit is contained in:
Akim Demaille
2008-07-17 11:01:30 +02:00
parent 15129f2525
commit 7484f1d4f3
2 changed files with 46 additions and 14 deletions

View File

@@ -1,3 +1,11 @@
2008-11-03 Akim Demaille <demaille@gostai.com>
Improve genericity of bench.pl.
* etc/bench.pl.in (&bench_grammar): Take the set of benches as
argument.
(&bench_push_parser): New.
Call it.
2008-11-03 Akim Demaille <demaille@gostai.com>
Add documentation to bench.pl.