diff options
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; |
