summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorAkim Demaille <demaille@gostai.com>2008-08-13 13:18:22 +0200
committerAkim Demaille <demaille@gostai.com>2008-11-10 11:29:06 +0100
commit6e0977873a3d12eeff4f31c85ff8925830c00cf7 (patch)
tree8d47efbbe9afdb5629a351644e41d28b6414d2c4 /etc
parent4c3cc7da5d1f1ff197e00de9c0cc7b76edee852d (diff)
downloadbison-6e0977873a3d12eeff4f31c85ff8925830c00cf7.tar.gz
Adjust verbose message to using emacs.
* etc/bench.pl.in: Inform compilation-mode when we change the directory. (generate_grammar_list): Recognize %define "variant" in addition to %define variant.
Diffstat (limited to 'etc')
-rwxr-xr-xetc/bench.pl.in5
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index e5133f0e..0679046c 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -575,7 +575,7 @@ sub generate_grammar_list ($$@)
{
my ($base, $max, @directive) = @_;
my $directives = directives ($base, @directive);
- my $variant = grep { /%define variant/ } @directive;
+ my $variant = grep { /%define "?variant"?/ } @directive;
my $out = new IO::File ">$base.y"
or die;
print $out <<EOF;
@@ -1043,7 +1043,8 @@ mkdir $dir
or die "cannot create $dir";
chdir $dir
or die "cannot chdir $dir";
-verbose 1, "Benching in $dir.\n";
+# The following message is tailored to please Emacs' compilation-mode.
+verbose 1, "Entering directory `$dir'\n";
verbose 1, "Using bison=$bison.\n";
verbose 2, "Using cc=$cc.\n";
verbose 2, "Using cxx=$cxx.\n";