Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-19 17:23:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Be kind to translators, save some useless translations.

Browse Source 
* main.c (banner): New function.
(fatal_banner): Use it.
(warn_banner): Use it.
This commit is contained in:
Akim Demaille
2000-03-17 13:02:28 +00:00
parent ae3c316400
commit e87b57008e
2 changed files with 36 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
ChangeLog
View File

@@ -1,3 +1,11 @@
2000-03-17 Akim Demaille <akim@epita.fr>
Be kind to translators, save some useless translations.
* main.c (banner): New function.
(fatal_banner): Use it.
(warn_banner): Use it.
2000-03-17 Akim Demaille <akim@epita.fr> 2000-03-17 Akim Demaille <akim@epita.fr>
* reader.c (copy_definition): Use copy_string and copy_comment. * reader.c (copy_definition): Use copy_string and copy_comment.

24
src/main.c
View File

@@ -1,5 +1,5 @@
/* Top level entry point of bison, /* Top level entry point of bison,
Copyright (C) 1984, 1986, 1989, 1992, 1995 Free Software Foundation, Inc. Copyright (C) 1984, 1986, 1989, 1992, 1995, 2000 Free Software Foundation, Inc.
This file is part of Bison, the GNU Compiler Compiler. This file is part of Bison, the GNU Compiler Compiler.
@@ -145,13 +145,22 @@ int_to_string (int i)
return buf; return buf;
} }
/* Display filename and lino if available. */
static void
banner (void)
{
if (infile == 0)
fprintf(stderr, "%s: ", program_name);
else
fprintf(stderr, "%s:%d: ", infile, lineno);
}
static void static void
fatal_banner (void) fatal_banner (void)
{ {
if (infile == 0) banner ();
fprintf(stderr, _("%s: fatal error: "), program_name); fputs (_("fatal error: "), stderr);
else
fprintf(stderr, _("%s:%d: fatal error: "), infile, lineno);
} }
/* Print the message S for a fatal error. */ /* Print the message S for a fatal error. */
@@ -181,10 +190,7 @@ fatals (char *fmt, char *x1)
static void static void
warn_banner (void) warn_banner (void)
{ {
if (infile == 0) banner ();
fprintf(stderr, _("%s: "), program_name);
else
fprintf(stderr, _("%s:%d: "), infile, lineno);
failure = 1; failure = 1;
} }