From ba9ecd19109c62c4c17381f34e298e39314f1dfd Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 14 May 2006 20:39:18 +0000 Subject: * etc/bench.pm: Shorten bench names. --- etc/bench.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'etc') diff --git a/etc/bench.pl b/etc/bench.pl index b3450d8c..c90f159b 100755 --- 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; -- cgit v1.2.1