* etc/bench.pm: Shorten bench names.

diff --git a/ChangeLog b/ChangeLog
index a6094ab62f3c757d4a4cdf8d1770ef27d2190223..e4fb30b1ef4f5aa2090034c5493ff4bfc23a7550 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-05-14  Akim Demaille  <akim@lrde.epita.fr>
+
+       * etc/bench.pm: Shorten bench names.
+
 2006-05-14  Akim Demaille  <akim@lrde.epita.fr>
 
        * src/output.h, src/output.c (error_verbose): Move to...

diff --git a/etc/bench.pl b/etc/bench.pl
index b3450d8c93f7e1b8b2e30c91d3ba5d8bdd9ae1a9..c90f159bd1dac8db5b6c0138d421d8dffe62f1fd 100755 (executable)
--- a/etc/bench.pl
+++ b/etc/bench.pl
@@ -371,9 +371,9 @@ sub bench_grammar ($)
      "push-yacc" => '%skeleton "push.c"',
      "push-pure" => '%skeleton "push.c" %pure-parser',
      "push-push" => '%skeleton "push.c" %push-parser',
-     "push-opt-yacc" => '%skeleton "push_opt.c"',
-     "push-opt-pure" => '%skeleton "push_opt.c" %pure-parser',
-     "push-opt-push" => '%skeleton "push_opt.c" %push-parser',
+     "popt-yacc" => '%skeleton "push_opt.c"',
+     "popt-pure" => '%skeleton "push_opt.c" %pure-parser',
+     "popt-push" => '%skeleton "push_opt.c" %push-parser',
     );
   
   my %bench;