remove duplicate options USERCONF - we get it from WALNUT config
This commit is contained in:
parent
441e8907fe
commit
bebf9e4b2e
@ -1,8 +1,8 @@
|
||||
# $NetBSD: INSTALL,v 1.3 2002/09/18 02:44:11 lukem Exp $
|
||||
# $NetBSD: INSTALL,v 1.4 2002/10/15 21:54:24 jdolecek Exp $
|
||||
|
||||
include "arch/walnut/conf/WALNUT"
|
||||
|
||||
#ident "INSTALL-$Revision: 1.3 $"
|
||||
#ident "INSTALL-$Revision: 1.4 $"
|
||||
|
||||
# DEBUG options turned on:
|
||||
|
||||
@ -11,7 +11,6 @@ options DIAGNOSTIC
|
||||
#makeoptions DEBUG="-g"
|
||||
options DEBUG
|
||||
#options SYSCALL_DEBUG
|
||||
options USERCONF # userconf(4) support
|
||||
options PIPE_SOCKETPAIR # smaller, but slower pipe(2)
|
||||
options MALLOC_NOINLINE # Not inlining MALLOC saves memory
|
||||
options VNODE_OP_NOINLINE # Not inlining vnode op calls saves mem
|
||||
|
Loading…
Reference in New Issue
Block a user