]> git.saurik.com Git - bison.git/commitdiff
bench.pl -d, --directive.
authorAkim Demaille <demaille@gostai.com>
Sat, 2 Aug 2008 20:06:49 +0000 (22:06 +0200)
committerAkim Demaille <demaille@gostai.com>
Sun, 9 Nov 2008 18:54:29 +0000 (19:54 +0100)
* etc/bench.pl.in (@directive): New.
(&bench_grammar): Use it.
(&bench_list_grammar): New, to provide access to the "variant"
grammar.
Use it.
(getopts): Support -d, --directive.


No differences found