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 | |
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')
-rw-r--r-- | usr.sbin/config/config.y | 3 | ||||
-rw-r--r-- | usr.sbin/config/configvers.h | 2 | ||||
-rw-r--r-- | usr.sbin/config/lang.l | 1 |
3 files changed, 5 insertions, 1 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; diff --git a/usr.sbin/config/configvers.h b/usr.sbin/config/configvers.h index a797e64..40226d7 100644 --- a/usr.sbin/config/configvers.h +++ b/usr.sbin/config/configvers.h @@ -8,4 +8,4 @@ * * $FreeBSD$ */ -#define CONFIGVERS 500003 +#define CONFIGVERS 500004 diff --git a/usr.sbin/config/lang.l b/usr.sbin/config/lang.l index c64add73..0b6ad07 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 }, |