added rcsid

added pattern for # comments

diff --git a/util/opt/scan.l b/util/opt/scan.l
index f42b710..5c6b7aa 100644 (file)
--- 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++; }