diff options
| author | oki <oki@NetBSD.org> | 1997-02-03 22:19:36 +0000 |
|---|---|---|
| committer | oki <oki@NetBSD.org> | 1997-02-03 22:19:36 +0000 |
| commit | f2ef4f87ec0fa8bc5aafaf222f19efefbced67d2 (patch) | |
| tree | 4e705cfa5d702c2dcb638606b38f05779dcdbaff | |
| parent | 78c033ae636b2d9edb91a14ba28abdcefa76a82f (diff) | |
Removed options GENERIC
| -rw-r--r-- | sys/arch/x68k/conf/MARINE | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sys/arch/x68k/conf/MARINE b/sys/arch/x68k/conf/MARINE index a13c5e2ef8d..7dc10bcc8ba 100644 --- a/sys/arch/x68k/conf/MARINE +++ b/sys/arch/x68k/conf/MARINE @@ -1,4 +1,4 @@ -# $NetBSD: MARINE,v 1.5 1997/01/31 02:14:25 thorpej Exp $ +# $NetBSD: MARINE,v 1.6 1997/02/03 22:19:36 oki Exp $ # # MARINE @@ -22,7 +22,6 @@ options RTC_OFFSET=-540 # hardware clock is this many mins. west of GMT maxusers 8 # standard options -options GENERIC # historical options SWAPPAGER # swap pager (anonymous and swap space) options VNODEPAGER # vnode pager (mapped files) options DEVPAGER # device pager (mapped devices) |
