diff options
| author | des <des@FreeBSD.org> | 2006-10-20 08:56:26 +0000 |
|---|---|---|
| committer | des <des@FreeBSD.org> | 2006-10-20 08:56:26 +0000 |
| commit | 5658cd64516e3428ec1f47d32e4bd55b24b3477d (patch) | |
| tree | 95989ace95cafef72c2861d5eb7e928af6bfdc53 /sys/ia64/conf | |
| parent | 8a69d7f5b47aa1cdca7c679f36651aaf55366875 (diff) | |
| download | FreeBSD-src-5658cd64516e3428ec1f47d32e4bd55b24b3477d.zip FreeBSD-src-5658cd64516e3428ec1f47d32e4bd55b24b3477d.tar.gz | |
The VGA_DEBUG option only exists on {amd64,i386,ia64}.
Also remove 'device io' from amd64 NOTES; DEFAULTS takes care of it.
Diffstat (limited to 'sys/ia64/conf')
| -rw-r--r-- | sys/ia64/conf/NOTES | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/ia64/conf/NOTES b/sys/ia64/conf/NOTES index 8a4b8e1..9f861d1 100644 --- a/sys/ia64/conf/NOTES +++ b/sys/ia64/conf/NOTES @@ -49,3 +49,6 @@ device pci # The following devices are not supported. nodevice fdc nooption FDC_DEBUG + +# Yet more undocumented options for linting. +options VGA_DEBUG |
