diff options
| author | phk <phk@FreeBSD.org> | 2000-10-14 08:33:22 +0000 |
|---|---|---|
| committer | phk <phk@FreeBSD.org> | 2000-10-14 08:33:22 +0000 |
| commit | 362242ba16eb4eb3419e1568f1a3e50e79d1a832 (patch) | |
| tree | 00c69fb6772333c1f7ad04c9c91cb4b97364e99b /usr.sbin/config/config.y | |
| parent | 725e675c8b64f174faec550ad44193a59cf22943 (diff) | |
| download | FreeBSD-src-362242ba16eb4eb3419e1568f1a3e50e79d1a832.zip FreeBSD-src-362242ba16eb4eb3419e1568f1a3e50e79d1a832.tar.gz | |
Make it possible to specify profiling in the kernel config file.
Do so for LINT.
Diffstat (limited to 'usr.sbin/config/config.y')
| -rw-r--r-- | usr.sbin/config/config.y | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index a0352b5..4c9a448 100644 --- a/usr.sbin/config/config.y +++ b/usr.sbin/config/config.y @@ -13,6 +13,7 @@ %token HINTS %token IDENT %token MAXUSERS +%token PROFILE %token OPTIONS %token MAKEOPTIONS %token SEMICOLON @@ -145,6 +146,8 @@ Config_spec: | MAXUSERS NUMBER = { maxusers = $2; } | + PROFILE NUMBER + = { profiling = $2; } | HINTS ID = { hints = $2; |
