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

Problem reported by Hans Aberg.

diff --git a/src/scan-skel.l b/src/scan-skel.l
index d860c08a55313db2a1f6c576a9d853115615c390..7ac27c6ebd335fe1c0ad057b444d2ca548777826 100644 (file)
--- a/src/scan-skel.l
+++ b/src/scan-skel.l
@@ -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;
+}
 %%
 
 /*------------------------.