From e962abb355a858acffa83518b197966b12575b20 Mon Sep 17 00:00:00 2001 From: Mark Murray Date: Thu, 1 Mar 2001 16:46:39 +0000 Subject: [PATCH] No longer an option. Config(8) is whining over LINT. --- sys/conf/NOTES | 3 --- sys/i386/conf/NOTES | 3 --- 2 files changed, 6 deletions(-) diff --git a/sys/conf/NOTES b/sys/conf/NOTES index fbc2d0eecd50..bd52cf0a6766 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -2574,9 +2574,6 @@ options SPX_HACK # Enable Linux ABI emulation options COMPAT_LINUX -# Enable the linux-like proc filesystem support (requires COMPAT_LINUX) -options LINPROCFS - # Linux debugging options DEBUG_LINUX diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index fbc2d0eecd50..bd52cf0a6766 100644 --- a/sys/i386/conf/NOTES +++ b/sys/i386/conf/NOTES @@ -2574,9 +2574,6 @@ options SPX_HACK # Enable Linux ABI emulation options COMPAT_LINUX -# Enable the linux-like proc filesystem support (requires COMPAT_LINUX) -options LINPROCFS - # Linux debugging options DEBUG_LINUX