kern.opts.mk revision 265791
1# $FreeBSD: head/sys/conf/kern.opts.mk 265791 2014-05-10 00:42:43Z imp $
2
3# Options set in the build system that affect the kernel somehow.
4
5#
6# Define MK_* variables (which are either "yes" or "no") for users
7# to set via WITH_*/WITHOUT_* in /etc/src.conf and override in the
8# make(1) environment.
9# These should be tested with `== "no"' or `!= "no"' in makefiles.
10# The NO_* variables should only be set by makefiles for variables
11# that haven't been converted over.
12#
13
14# These options are used by the kernel build process (kern.mk and kmod.mk)
15# They have to be listed here so we can build modules outside of the
16# src tree.
17
18__DEFAULT_YES_OPTIONS = \
19    FORMAT_EXTENSIONS \
20    KERNEL_SYMBOLS
21
22__DEFAULT_NO_OPTIONS = \
23
24.include "../../share/mk/bsd.mkopt.mk"
25