# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1047683097 0
# Node ID 75ed0f4a2f188309408639c2fd0d5de723ff38b6
# Parent  b9209df48d2936b5a46e14d66998c54e18f5c229
(read1): After #!, exit loop on eof.

diff -r b9209df48d29 -r 75ed0f4a2f18 src/lread.c
--- a/src/lread.c	Fri Mar 14 22:38:46 2003 +0000
+++ b/src/lread.c	Fri Mar 14 23:04:57 2003 +0000
@@ -2127,7 +2127,7 @@
 	{
 	  /* #! appears at the beginning of an executable file.
 	     Skip the first line.  */
-	  while (c != '\n')
+	  while (c != '\n' && c >= 0)
 	    c = READCHAR;
 	  goto retry;
 	}