diff options
Diffstat (limited to 'etc/make.conf')
| -rw-r--r-- | etc/make.conf | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/etc/make.conf b/etc/make.conf index ba36ccb..f699579 100644 --- a/etc/make.conf +++ b/etc/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.4 1994/06/09 11:13:52 ache Exp $ +# $Id: make.conf,v 1.5 1994/06/14 11:46:52 ache 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 @@ -43,3 +43,16 @@ # Set this to "ascii" for simple printers or screen # #PRINTER= ps +# +# +# Options to pass to make for building the bootblocks +# +#MDEC_OPT= BOOTWAIT=0 +#MDEC_OPT= BOOTWAIT=640000 +# +# +# Allow 'cc' to generate all FPU codes. Do not use this if you intend to +# generate code to run on machines with broken FPU emulator. Beware, this +# is a compile-time static option to 'cc'. +# +#CCFPU= yes |
