Date: Wed, 7 Apr 1999 21:16:48 -0700 (PDT) From: Julian Elischer <julian@whistle.com> To: Greg Lehey <grog@lemis.com> Cc: Nick Hibma <nick.hibma@jrc.it>, Greg Black <gjb-freebsd@gba.oz.au>, Peter Wemm <peter@netplex.com.au>, Archie Cobbs <archie@whistle.com>, Christopher Michaels <ChrisMic@clientlogic.com>, questions@FreeBSD.ORG, hackers@FreeBSD.ORG Subject: Re: Debug kernel by default (was: System size with -g) Message-ID: <Pine.BSF.3.95.990407211551.2116J-100000@current1.whistle.com> In-Reply-To: <19990408122944.D2142@lemis.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Thu, 8 Apr 1999, Greg Lehey wrote:
> On Wednesday, 7 April 1999 at 15:35:15 +0200, Nick Hibma wrote:
> > On Wed, 7 Apr 1999, Greg Black wrote:
> >
> >>>> And on the subject of debugging kernels getting built, I'd tend to
> >>>> agree. Don't install them though, install the stripped version.
> >>>
> >>> I had planned to leave that to the user: 'make install' will install a
> >>> stripped kernel, 'make install.debug' will install the full symbol
> >>> kernel. I still think this is a reasonable compromise.
> >>
> >> Agreed.
> >
> > Will that include a stripping of the previous kernel?
> >
> > if -x /kernel
> > strip -g /kernel
> > mv /kernel
> >
> > This is required or otherwise make the root partition bigger by
> > default. 2x10Mb for the kernel does not leave a lot of room for
> > etc. Patch for this is available if wanted. Just bounce me a
> > message.
>
> Well, that's not quite the way I'm doing it. By default, I make a
> kernel called kernel.debug and use the following rule to create a
> stripped kernel:
>
> ${KERNEL}: ${KERNEL}.debug
> objcopy --strip-debug ${KERNEL}.debug ${KERNEL}
So I presume you've made an aout kernel?
(we still use aout kernels on 3.1 but I haven't tried in 4.0 for a while
now)
>
> The 'install' target installs the stripped kernel, and depends on this
> rule.
>
> Greg
> --
> See complete headers for address, home page and phone numbers
> finger grog@lemis.com for PGP public key
>
>
> To Unsubscribe: send mail to majordomo@FreeBSD.org
> with "unsubscribe freebsd-hackers" in the body of the message
>
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.BSF.3.95.990407211551.2116J-100000>