diff options
author | David E. O'Brien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
---|---|---|
committer | David E. O'Brien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
commit | c5e70d92cea817642c369b785554947bda297e6d (patch) | |
tree | 8ae65bd843862b1ec8645b9ad71bfbae80df5201 /release/i386 | |
parent | 65d7fc7c83e96b91a4299e6d66c744afb735f3f3 (diff) | |
download | src-c5e70d92cea817642c369b785554947bda297e6d.tar.gz src-c5e70d92cea817642c369b785554947bda297e6d.zip |
Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)
by default while SMPng is still being developed.
Submitted by: jhb
Notes
Notes:
svn path=/head/; revision=75528
Diffstat (limited to 'release/i386')
-rwxr-xr-x | release/i386/dokern.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/release/i386/dokern.sh b/release/i386/dokern.sh index 955663c2e788..572ad5de835b 100755 --- a/release/i386/dokern.sh +++ b/release/i386/dokern.sh @@ -54,6 +54,11 @@ sed -e '/ pci$/d' \ -e '/SOFTUPDATES/d' \ -e '/MFS/d' \ -e '/NFS_ROOT/d' \ + -e '/DEBUG/d' \ + -e '/DDB/d' \ + -e '/INVARIANTS/d' \ + -e '/INVARIANT_SUPPORT/d' \ + -e '/WITNESS/d' \ -e '/pcm/d' \ -e '/atapist/d' \ -e '/ugen/d' \ @@ -82,6 +87,11 @@ sed -e '/pty/d' \ -e '/SOFTUPDATES/d' \ -e '/MFS/d' \ -e '/NFS_ROOT/d' \ + -e '/DEBUG/d' \ + -e '/DDB/d' \ + -e '/INVARIANTS/d' \ + -e '/INVARIANT_SUPPORT/d' \ + -e '/WITNESS/d' \ -e '/ ncr/d' \ -e '/pcm/d' \ -e '/atapist/d' \ @@ -118,6 +128,11 @@ sed \ -e '/SYSV/d' \ -e '/P1003_1B/d' \ -e '/_KPOSIX_PRIORITY_SCHEDULING/d' \ + -e '/DEBUG/d' \ + -e '/DDB/d' \ + -e '/INVARIANTS/d' \ + -e '/INVARIANT_SUPPORT/d' \ + -e '/WITNESS/d' \ -e '/atapist/d' \ -e '/ ncr/d' \ -e '/pass/d' \ |