Enable the MUTEX_NOINLINE option for the BOOTMFS kernel for ia32, pc98, and

alpha.  This shaves 36-50k off of the compressed kernel size.

Submitted by:	jhb

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"