bench.pl -d, --directive.

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 40127fc6d84ab9c041631647a3385fd3d7a4203b..fd5fcb86664e822ba0e07fe60bc39fd49c66bc13 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,13 @@
+2008-11-09  Akim Demaille  <demaille@gostai.com>
+
+       bench.pl -d, --directive.
+       * 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.
+

 2008-11-09  Akim Demaille  <demaille@gostai.com>
 
        Use inline for small operations.
 2008-11-09  Akim Demaille  <demaille@gostai.com>
 
        Use inline for small operations.