mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-17 16:23:04 +00:00
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.
This commit is contained in:
@@ -1,3 +1,11 @@
|
|||||||
|
2008-11-10 Akim Demaille <demaille@gostai.com>
|
||||||
|
|
||||||
|
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.
|
||||||
|
|
||||||
2008-11-10 Akim Demaille <demaille@gostai.com>
|
2008-11-10 Akim Demaille <demaille@gostai.com>
|
||||||
|
|
||||||
Classify symbols by type-name.
|
Classify symbols by type-name.
|
||||||
|
|||||||
@@ -575,7 +575,7 @@ sub generate_grammar_list ($$@)
|
|||||||
{
|
{
|
||||||
my ($base, $max, @directive) = @_;
|
my ($base, $max, @directive) = @_;
|
||||||
my $directives = directives ($base, @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"
|
my $out = new IO::File ">$base.y"
|
||||||
or die;
|
or die;
|
||||||
print $out <<EOF;
|
print $out <<EOF;
|
||||||
@@ -1043,7 +1043,8 @@ mkdir $dir
|
|||||||
or die "cannot create $dir";
|
or die "cannot create $dir";
|
||||||
chdir $dir
|
chdir $dir
|
||||||
or die "cannot 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 1, "Using bison=$bison.\n";
|
||||||
verbose 2, "Using cc=$cc.\n";
|
verbose 2, "Using cc=$cc.\n";
|
||||||
verbose 2, "Using cxx=$cxx.\n";
|
verbose 2, "Using cxx=$cxx.\n";
|
||||||
|
|||||||
Reference in New Issue
Block a user