diff options
author | Poul-Henning Kamp <phk@FreeBSD.org> | 2000-10-14 08:33:22 +0000 |
---|---|---|
committer | Poul-Henning Kamp <phk@FreeBSD.org> | 2000-10-14 08:33:22 +0000 |
commit | 412916079c41ec2afdee0b73ffd1235d1d54cf4a (patch) | |
tree | 4c0852f7b7ed2956eba7fb6f47899d01288f703c /usr.sbin/config/lang.l | |
parent | 6bf02e51da6865cd8f0e82155ea0d8005a81aac4 (diff) | |
download | src-412916079c41ec2afdee0b73ffd1235d1d54cf4a.tar.gz src-412916079c41ec2afdee0b73ffd1235d1d54cf4a.zip |
Make it possible to specify profiling in the kernel config file.
Do so for LINT.
Notes
Notes:
svn path=/head/; revision=67109
Diffstat (limited to 'usr.sbin/config/lang.l')
-rw-r--r-- | usr.sbin/config/lang.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr.sbin/config/lang.l b/usr.sbin/config/lang.l index c64add73ce6e..0b6ad074bbae 100644 --- a/usr.sbin/config/lang.l +++ b/usr.sbin/config/lang.l @@ -58,6 +58,7 @@ struct kt { { "machine", ARCH }, /* MACHINE is defined in /sys/param.h */ { "makeoptions", MAKEOPTIONS }, { "maxusers", MAXUSERS }, + { "profile", PROFILE }, { "option", OPTIONS }, { "options", OPTIONS }, { 0, 0 }, |