aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sys/conf/NOTES13
-rw-r--r--sys/i386/conf/LINT13
-rw-r--r--sys/i386/conf/NOTES13
3 files changed, 36 insertions, 3 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index 17bf5574d57b..1d5adea72235 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.579 1999/04/12 09:45:29 brian Exp $
+# $Id: LINT,v 1.580 1999/04/13 19:38:09 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
@@ -29,6 +29,17 @@ ident LINT
maxusers 10
#
+# The `makeoptions' parameter allows variables to be passed to the
+# generated Makefile in the build area. DEBUG happens to be magic.
+# The following is equivalent to 'config -g KERNELNAME' and creates
+# 'kernel.debug' compiled with -g debugging as well as a normal
+# 'kernel'. Use 'make install.debug' to install the debug kernel
+# but that isn't normally necessary as the debug symbols are not loaded
+# by the kernel and are not useful there anyway.
+#
+#makeoptions DEBUG="-g" #Build kernel with gdb(1) debug symbols
+
+#
# Certain applications can grow to be larger than the 128M limit
# that FreeBSD initially imposes. Below are some options to
# allow that limit to grow to 256MB, and can be increased further
diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT
index 17bf5574d57b..1d5adea72235 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.579 1999/04/12 09:45:29 brian Exp $
+# $Id: LINT,v 1.580 1999/04/13 19:38:09 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
@@ -29,6 +29,17 @@ ident LINT
maxusers 10
#
+# The `makeoptions' parameter allows variables to be passed to the
+# generated Makefile in the build area. DEBUG happens to be magic.
+# The following is equivalent to 'config -g KERNELNAME' and creates
+# 'kernel.debug' compiled with -g debugging as well as a normal
+# 'kernel'. Use 'make install.debug' to install the debug kernel
+# but that isn't normally necessary as the debug symbols are not loaded
+# by the kernel and are not useful there anyway.
+#
+#makeoptions DEBUG="-g" #Build kernel with gdb(1) debug symbols
+
+#
# Certain applications can grow to be larger than the 128M limit
# that FreeBSD initially imposes. Below are some options to
# allow that limit to grow to 256MB, and can be increased further
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index 17bf5574d57b..1d5adea72235 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.579 1999/04/12 09:45:29 brian Exp $
+# $Id: LINT,v 1.580 1999/04/13 19:38:09 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
@@ -29,6 +29,17 @@ ident LINT
maxusers 10
#
+# The `makeoptions' parameter allows variables to be passed to the
+# generated Makefile in the build area. DEBUG happens to be magic.
+# The following is equivalent to 'config -g KERNELNAME' and creates
+# 'kernel.debug' compiled with -g debugging as well as a normal
+# 'kernel'. Use 'make install.debug' to install the debug kernel
+# but that isn't normally necessary as the debug symbols are not loaded
+# by the kernel and are not useful there anyway.
+#
+#makeoptions DEBUG="-g" #Build kernel with gdb(1) debug symbols
+
+#
# Certain applications can grow to be larger than the 128M limit
# that FreeBSD initially imposes. Below are some options to
# allow that limit to grow to 256MB, and can be increased further