diff options
| author | jhb <jhb@FreeBSD.org> | 2005-10-27 17:13:23 +0000 |
|---|---|---|
| committer | jhb <jhb@FreeBSD.org> | 2005-10-27 17:13:23 +0000 |
| commit | 36d533d5436d4b351fc1f691415956afc77d5b12 (patch) | |
| tree | 423a0bffe2fa7e681c7f2dd245f1856a9aa8ce9c /usr.sbin/config/config.h | |
| parent | 5da09e19375e739cfe4a6df1906f5829439049c4 (diff) | |
| download | FreeBSD-src-36d533d5436d4b351fc1f691415956afc77d5b12.zip FreeBSD-src-36d533d5436d4b351fc1f691415956afc77d5b12.tar.gz | |
Optionally include a DEFAULTS config file if it is present in the current
directory before the specified config file. This is implemented by
opening DEFAULTS as stdin if it exists, and if so resetting stdin to the
actual config file when DEFAULTS is fully parsed via yywrap(). In short,
this lets us create DEFAULTS kernel configs in /sys/<arch>/conf that can
enable certain options or devices by default and allow users to disable
them via 'nooptions' or 'nodevice' rather than having to create kludge
NO_FOO options.
Requested by: scottl
Reviewed by: scottl
Diffstat (limited to 'usr.sbin/config/config.h')
| -rw-r--r-- | usr.sbin/config/config.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr.sbin/config/config.h b/usr.sbin/config/config.h index 436f78b..216aa93 100644 --- a/usr.sbin/config/config.h +++ b/usr.sbin/config/config.h @@ -161,6 +161,7 @@ extern STAILQ_HEAD(files_name_head, files_name) fntab; extern int profiling; extern int debugging; +extern int found_defaults; extern int maxusers; |
