fix in error reporting

This commit is contained in:
ceriel 1987-09-21 13:21:50 +00:00
parent 6db64e924c
commit 45c7ab1938

View file

@ -20,7 +20,10 @@ int err_occurred;
err_hdr(s) err_hdr(s)
char *s; char *s;
{ {
if (FileName) {
fprint(ERROUT, "\"%s\", line %d: %s", FileName, LineNumber, s); fprint(ERROUT, "\"%s\", line %d: %s", FileName, LineNumber, s);
}
else fprint(ERROUT, s);
} }
/*VARARGS1*/ /*VARARGS1*/