From 18ffd176ba2c679784cb72d804955225a965a9fb Mon Sep 17 00:00:00 2001
From: sater <none@none>
Date: Thu, 17 May 1984 14:13:36 +0000
Subject: [PATCH] added rcsid added pattern for # comments

---
 util/opt/scan.l | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/util/opt/scan.l b/util/opt/scan.l
index f42b71071..5c6b7aa82 100644
--- a/util/opt/scan.l
+++ b/util/opt/scan.l
@@ -1,4 +1,8 @@
 %{
+#ifndef NORCSID
+static char rcsid[] = "$Header$";
+#endif
+
 /*
  * (c) copyright 1983 by the Vrije Universiteit, Amsterdam, The Netherlands.
  *
@@ -69,3 +73,4 @@ rom		return(ROM);
 \n		{ lino++; return(yytext[0]); }
 :[ \t]*\n[ \t]+	{ lino++; return(':'); }
 ^"# "[0-9]+.*\n	{ lino=atoi(yytext+2); }
+^\#.*\n		{ lino++; }