diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-09-20 06:45:27 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-09-20 06:45:27 +0000 |
| commit | df42aa61f92bffe35c22145bcc90906f47aa88d0 (patch) | |
| tree | 5064c1ef1d0088157056fe2aa3f45ca4bd95c9e8 /sys/arch/arc/conf/PICA | |
| parent | 4909b03ce500337461ef8ac1f9f5637782ca693d (diff) | |
do not fool people into thinking VNODEPAGER is an option; netbsd pr#2757, erik@aarhus1.uni-c.dk
Diffstat (limited to 'sys/arch/arc/conf/PICA')
| -rw-r--r-- | sys/arch/arc/conf/PICA | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sys/arch/arc/conf/PICA b/sys/arch/arc/conf/PICA index 19da0300699..596402ca623 100644 --- a/sys/arch/arc/conf/PICA +++ b/sys/arch/arc/conf/PICA @@ -12,7 +12,6 @@ options DST=1 # use daylight savings rules # Standard system options options SWAPPAGER # swap pager (anonymous and swap space) -options VNODEPAGER # vnode pager (mapped files) options DEVPAGER # device pager (mapped devices) options DIAGNOSTIC # extra kernel debugging checks options DEBUG # extra kernel debugging support |