diff options
Diffstat (limited to 'etc/make.conf')
-rw-r--r-- | etc/make.conf | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/etc/make.conf b/etc/make.conf index f699579..f55ab6f 100644 --- a/etc/make.conf +++ b/etc/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.5 1994/06/14 11:46:52 ache Exp $ +# $Id: make.conf,v 1.6 1994/06/15 20:24:16 adam Exp $ # # This file, if present, will be read by make (see /usr/share/mk/sys.mk) # It allows you to override macro definitions to make, without changing @@ -45,10 +45,12 @@ #PRINTER= ps # # -# Options to pass to make for building the bootblocks +# How many times to check if a key has been pressed before giving up and +# booting the default kernel. 0 actually means check once, but saves the +# loop overhead. # -#MDEC_OPT= BOOTWAIT=0 -#MDEC_OPT= BOOTWAIT=640000 +#BOOTWAIT=0 +#BOOTWAIT=640000 # # # Allow 'cc' to generate all FPU codes. Do not use this if you intend to |