diff options
| author | Garrett Wollman <wollman@FreeBSD.org> | 1994-11-07 19:57:20 +0000 |
|---|---|---|
| committer | Garrett Wollman <wollman@FreeBSD.org> | 1994-11-07 19:57:20 +0000 |
| commit | e0a7da508f9f5b82ec887a52c406235a96b22936 (patch) | |
| tree | 457e78e0a4739a0506cc3d562c0601f1ab752ba7 /usr.sbin/config | |
| parent | 3f318480d81103f3712fc31504e6fe1f84a8ec2d (diff) | |
Notes
Diffstat (limited to 'usr.sbin/config')
| -rw-r--r-- | usr.sbin/config/lang.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.sbin/config/lang.l b/usr.sbin/config/lang.l index 535ffcdad56e..be6a24cefac9 100644 --- a/usr.sbin/config/lang.l +++ b/usr.sbin/config/lang.l @@ -167,7 +167,7 @@ WORD [A-Za-z_][-A-Za-z_]* return SEMICOLON; } #.* { /* Ignored (comment) */; } -[ \t]* { /* Ignored (white space) */; } +[ \t\f]* { /* Ignored (white space) */; } ";" { return SEMICOLON; } "," { return COMMA; } "=" { return EQUALS; } |