diff options
author | wollman <wollman@FreeBSD.org> | 1994-11-07 19:57:20 +0000 |
---|---|---|
committer | wollman <wollman@FreeBSD.org> | 1994-11-07 19:57:20 +0000 |
commit | 85b4fbc7138b6ea2ed09c725f2be12681ecf172a (patch) | |
tree | 457e78e0a4739a0506cc3d562c0601f1ab752ba7 /usr.sbin | |
parent | e91914fc35b949a00d9c4cbe6eff7653cccd737e (diff) | |
download | FreeBSD-src-85b4fbc7138b6ea2ed09c725f2be12681ecf172a.zip FreeBSD-src-85b4fbc7138b6ea2ed09c725f2be12681ecf172a.tar.gz |
Treat formfeeds like any other whitespace.
Diffstat (limited to 'usr.sbin')
-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 535ffcd..be6a24c 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; } |