Date: Thu, 8 Apr 1999 12:29:44 +0930 From: Greg Lehey <grog@lemis.com> To: Nick Hibma <nick.hibma@jrc.it>, Greg Black <gjb-freebsd@gba.oz.au> Cc: 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: <19990408122944.D2142@lemis.com> In-Reply-To: <Pine.BSF.3.96.990407153344.5014A-100000@elpc36.jrc.it>; from Nick Hibma on Wed, Apr 07, 1999 at 03:35:15PM %2B0200 References: <19990407124941.15721.qmail@alpha.comkey.com.au> <Pine.BSF.3.96.990407153344.5014A-100000@elpc36.jrc.it>
next in thread | previous in thread | raw e-mail | index | archive | help
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}
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19990408122944.D2142>