diff options
Diffstat (limited to 'sys/i386/conf/LINT')
-rw-r--r-- | sys/i386/conf/LINT | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT index c2e6a38..7f89211 100644 --- a/sys/i386/conf/LINT +++ b/sys/i386/conf/LINT @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.241 1996/02/28 21:39:54 gpalmer Exp $ +# $Id: LINT,v 1.242 1996/03/02 19:37:32 peter Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -54,6 +54,11 @@ options MATH_EMULATE #Support for x87 emulation options GPL_MATH_EMULATE #Support for x87 emulation via #new math emulator +# When this is set, be extra conservative in various parts of the kernel +# and choose functionality over speed (on the widest variety of systems). +options FAILSAFE + + # # This directive defines a number of things: # - The compiled kernel is to be called `kernel' |