diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 1953c8520ee6..67b6620da51f 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.475 1998/09/25 11:38:30 yokota Exp $ +# $Id: LINT,v 1.476 1998/09/25 17:34:47 peter Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -52,7 +52,7 @@ options PQ_LARGECACHE # color for 512k/16k cache # This allows you to actually store this configuration file into # the kernel binary itself, where it may be later read by saying: -# strings /kernel | grep ^___ | sed -e 's/^___//' > MYKERNEL +# strings -aout -n 3 /kernel | grep ^___ | sed -e 's/^___//' > MYKERNEL # options INCLUDE_CONFIG_FILE # Include this file in kernel diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT index 1953c8520ee6..67b6620da51f 100644 --- a/sys/i386/conf/LINT +++ b/sys/i386/conf/LINT @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.475 1998/09/25 11:38:30 yokota Exp $ +# $Id: LINT,v 1.476 1998/09/25 17:34:47 peter Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -52,7 +52,7 @@ options PQ_LARGECACHE # color for 512k/16k cache # This allows you to actually store this configuration file into # the kernel binary itself, where it may be later read by saying: -# strings /kernel | grep ^___ | sed -e 's/^___//' > MYKERNEL +# strings -aout -n 3 /kernel | grep ^___ | sed -e 's/^___//' > MYKERNEL # options INCLUDE_CONFIG_FILE # Include this file in kernel diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index 1953c8520ee6..67b6620da51f 100644 --- a/sys/i386/conf/NOTES +++ b/sys/i386/conf/NOTES @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.475 1998/09/25 11:38:30 yokota Exp $ +# $Id: LINT,v 1.476 1998/09/25 17:34:47 peter Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -52,7 +52,7 @@ options PQ_LARGECACHE # color for 512k/16k cache # This allows you to actually store this configuration file into # the kernel binary itself, where it may be later read by saying: -# strings /kernel | grep ^___ | sed -e 's/^___//' > MYKERNEL +# strings -aout -n 3 /kernel | grep ^___ | sed -e 's/^___//' > MYKERNEL # options INCLUDE_CONFIG_FILE # Include this file in kernel