aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGarrett Wollman <wollman@FreeBSD.org>1994-11-07 19:57:20 +0000
committerGarrett Wollman <wollman@FreeBSD.org>1994-11-07 19:57:20 +0000
commite0a7da508f9f5b82ec887a52c406235a96b22936 (patch)
tree457e78e0a4739a0506cc3d562c0601f1ab752ba7
parent3f318480d81103f3712fc31504e6fe1f84a8ec2d (diff)
downloadsrc-e0a7da508f9f5b82ec887a52c406235a96b22936.tar.gz
src-e0a7da508f9f5b82ec887a52c406235a96b22936.zip
Treat formfeeds like any other whitespace.
Notes
Notes: svn path=/head/; revision=4242
-rw-r--r--usr.sbin/config/lang.l2
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; }