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 /sys/conf/Makefile.i386 | |
| 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 'sys/conf/Makefile.i386')
| -rw-r--r-- | sys/conf/Makefile.i386 | 2 |
1 files changed, 1 insertions, 1 deletions
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 |