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 /sys/conf/Makefile.pc98 | |
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 'sys/conf/Makefile.pc98')
-rw-r--r-- | sys/conf/Makefile.pc98 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/conf/Makefile.pc98 b/sys/conf/Makefile.pc98 index 3ec5943..386a9cb 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 |