diff options
-rwxr-xr-x | release/alpha/dokern.sh | 2 | ||||
-rwxr-xr-x | release/amd64/dokern.sh | 2 | ||||
-rwxr-xr-x | release/i386/dokern.sh | 2 | ||||
-rwxr-xr-x | release/pc98/dokern.sh | 2 |
4 files changed, 8 insertions, 0 deletions
diff --git a/release/alpha/dokern.sh b/release/alpha/dokern.sh index 4ca7263..e902cfc 100755 --- a/release/alpha/dokern.sh +++ b/release/alpha/dokern.sh @@ -62,5 +62,7 @@ sed \ # XXX: blank line above intentional so lines may be added below the last # entry with ease. +echo "options MUTEX_NOINLINE" + echo "options SCSI_NO_OP_STRINGS" echo "options SCSI_NO_SENSE_STRINGS" diff --git a/release/amd64/dokern.sh b/release/amd64/dokern.sh index 0648c96..42c5ad4 100755 --- a/release/amd64/dokern.sh +++ b/release/amd64/dokern.sh @@ -40,6 +40,8 @@ sed \ -e '/ uscanner /d' \ -e 's/ident.*GENERIC/ident BOOTMFS/g' +echo "options MUTEX_NOINLINE" + echo "options NETGRAPH" echo "options NETGRAPH_ETHER" echo "options NETGRAPH_PPPOE" diff --git a/release/i386/dokern.sh b/release/i386/dokern.sh index 0648c96..42c5ad4 100755 --- a/release/i386/dokern.sh +++ b/release/i386/dokern.sh @@ -40,6 +40,8 @@ sed \ -e '/ uscanner /d' \ -e 's/ident.*GENERIC/ident BOOTMFS/g' +echo "options MUTEX_NOINLINE" + echo "options NETGRAPH" echo "options NETGRAPH_ETHER" echo "options NETGRAPH_PPPOE" diff --git a/release/pc98/dokern.sh b/release/pc98/dokern.sh index 445783c..0a042da 100755 --- a/release/pc98/dokern.sh +++ b/release/pc98/dokern.sh @@ -114,6 +114,8 @@ sed -e 's/ident.*GENERIC/ident BOOTMFS/g' \ fi +echo "options MUTEX_NOINLINE" + echo "options NETGRAPH" echo "options NETGRAPH_ETHER" echo "options NETGRAPH_PPPOE" |