From: sater Date: Thu, 17 May 1984 14:13:36 +0000 (+0000) Subject: added rcsid X-Git-Tag: release-5-5~6285 X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=18ffd176ba2c679784cb72d804955225a965a9fb;p=ack.git added rcsid added pattern for # comments --- 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++; }