Remove duplicate entry for DDB.

This commit is contained in:
Olivier Houchard 2005-10-04 14:39:33 +00:00
parent fe7336292d
commit 6270a55ec3
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=150919
2 changed files with 0 additions and 2 deletions

View File

@ -32,7 +32,6 @@ include "../xscale/i80321/std.iq31244"
#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
makeoptions CONF_CFLAGS=-mcpu=xscale
options DDB
options HZ=100
#options DEVICE_POLLING

View File

@ -71,7 +71,6 @@ device uart
# output. Adds ~215k to driver.
# Debugging for use in -current
options DDB #Enable the kernel debugger
#options INVARIANTS #Enable calls of extra sanity checking
#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
#options WITNESS #Enable checks to detect deadlocks and cycles