diff options
| author | obrien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
|---|---|---|
| committer | obrien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
| commit | c7790304defd50842d2d5c8eb946fef9393baec4 (patch) | |
| tree | 9d7e00ac800f37f145796348e7b61c7f99d498fc /release/alpha | |
| parent | 406ae6ca2cb3f18c21e5b9dc566de193754d3cbf (diff) | |
| download | FreeBSD-src-c7790304defd50842d2d5c8eb946fef9393baec4.zip FreeBSD-src-c7790304defd50842d2d5c8eb946fef9393baec4.tar.gz | |
Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)
by default while SMPng is still being developed.
Submitted by: jhb
Diffstat (limited to 'release/alpha')
| -rwxr-xr-x | release/alpha/dokern.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/release/alpha/dokern.sh b/release/alpha/dokern.sh index 955663c..572ad5d 100755 --- a/release/alpha/dokern.sh +++ b/release/alpha/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' \ |
