(<<EOF>>): Don't close standard output.

Problem reported by Hans Aberg.
This commit is contained in:
Paul Eggert
2005-01-03 07:52:31 +00:00
parent 08fe02d9fc
commit 7ec5ab2e48

View File

@@ -83,7 +83,14 @@ int skel_lex (void);
\n lineno++; ECHO;
[^@\n]+ ECHO;
<<EOF>> free (outname); xfclose (yyout); return EOF;
<<EOF>> {
if (outname)
{
free (outname);
xfclose (yyout);
}
return EOF;
}
%%
/*------------------------.