diff --git a/sys/conf/Makefile.alpha b/sys/conf/Makefile.alpha index ef094bbac00a..25de7507c034 100644 --- a/sys/conf/Makefile.alpha +++ b/sys/conf/Makefile.alpha @@ -17,7 +17,7 @@ # # Which version of config(8) is required. -%VERSREQ= 500003 +%VERSREQ= 500004 # Can be overridden by makeoptions or /etc/make.conf KERNEL_KO?= kernel diff --git a/sys/conf/Makefile.i386 b/sys/conf/Makefile.i386 index e58a5fdf6896..18f6539ba16f 100644 --- a/sys/conf/Makefile.i386 +++ b/sys/conf/Makefile.i386 @@ -17,7 +17,7 @@ # # Which version of config(8) is required. -%VERSREQ= 500003 +%VERSREQ= 500004 # Can be overridden by makeoptions or /etc/make.conf KERNEL_KO?= kernel diff --git a/sys/conf/Makefile.ia64 b/sys/conf/Makefile.ia64 index dacc1f65535a..91c4501f0a3e 100644 --- a/sys/conf/Makefile.ia64 +++ b/sys/conf/Makefile.ia64 @@ -27,7 +27,7 @@ OBJCOPY= ia64-unknown-linux-objcopy MACHINE_ARCH= ia64 # Which version of config(8) is required. -%VERSREQ= 500003 +%VERSREQ= 500004 # Can be overridden by makeoptions or /etc/make.conf KERNEL_KO?= kernel diff --git a/sys/conf/Makefile.pc98 b/sys/conf/Makefile.pc98 index 3ec594352545..386a9cb5766c 100644 --- a/sys/conf/Makefile.pc98 +++ b/sys/conf/Makefile.pc98 @@ -19,7 +19,7 @@ # # Which version of config(8) is required. -%VERSREQ= 500003 +%VERSREQ= 500004 # Can be overridden by makeoptions or /etc/make.conf KERNEL_KO?= kernel diff --git a/sys/conf/Makefile.powerpc b/sys/conf/Makefile.powerpc index e58a5fdf6896..18f6539ba16f 100644 --- a/sys/conf/Makefile.powerpc +++ b/sys/conf/Makefile.powerpc @@ -17,7 +17,7 @@ # # Which version of config(8) is required. -%VERSREQ= 500003 +%VERSREQ= 500004 # Can be overridden by makeoptions or /etc/make.conf KERNEL_KO?= kernel diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index a0352b58b4a2..4c9a448754ba 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 a797e64d5dc1..40226d7776f7 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 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 },