# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1030887188 0
# Node ID 04a4d5eda995a0dc9f50e7c28bf550a2da4724ca
# Parent  865837df3fe752a492b34a98abac3c3005312859
(read1): Handle #! by skipping the line.

diff -r 865837df3fe7 -r 04a4d5eda995 src/lread.c
--- a/src/lread.c	Sun Sep 01 13:30:19 2002 +0000
+++ b/src/lread.c	Sun Sep 01 13:33:08 2002 +0000
@@ -2098,6 +2098,14 @@
 
 	  goto retry;
 	}
+      if (c == '!')
+	{
+	  /* #! appears at the beginning of an executable file.
+	     Skip the first line.  */
+	  while (c != '\n')
+	    c = READCHAR;
+	  goto retry;
+	}
       if (c == '$')
 	return Vload_file_name;
       if (c == '\'')