From owner-freebsd-bugs  Tue Nov  3 02:00:09 1998
Return-Path: <owner-freebsd-bugs@FreeBSD.ORG>
Received: (from majordom@localhost)
          by hub.freebsd.org (8.8.8/8.8.8) id CAA17698
          for freebsd-bugs-outgoing; Tue, 3 Nov 1998 02:00:09 -0800 (PST)
          (envelope-from owner-freebsd-bugs@FreeBSD.ORG)
Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21])
          by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id CAA17586
          for <freebsd-bugs@FreeBSD.org>; Tue, 3 Nov 1998 02:00:00 -0800 (PST)
          (envelope-from gnats@FreeBSD.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.8.8/8.8.5) id CAA24460;
	Tue, 3 Nov 1998 02:00:02 -0800 (PST)
Received: (from nobody@localhost)
          by hub.freebsd.org (8.8.8/8.8.8) id BAA17237;
          Tue, 3 Nov 1998 01:57:07 -0800 (PST)
          (envelope-from nobody)
Message-Id: <199811030957.BAA17237@hub.freebsd.org>
Date: Tue, 3 Nov 1998 01:57:07 -0800 (PST)
From: nick.hibma@jrc.it
To: freebsd-gnats-submit@FreeBSD.ORG
X-Send-Pr-Version: www-1.0
Subject: kern/8550: strip kernel before moving it during make install
Sender: owner-freebsd-bugs@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org


>Number:         8550
>Category:       kern
>Synopsis:       strip kernel before moving it during make install
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-bugs
>State:          open
>Quarter:
>Keywords:
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Tue Nov  3 02:00:01 PST 1998
>Last-Modified:
>Originator:     Nick Hibma
>Organization:
n/a
>Release:        FreeBSD-3.0-CURRENT
>Environment:
>Description:
To save disk space on the root partition one could strip -d the old
during make install. It is to be expected that as soon as a new kernel
is installed the old one is not needed for debugging anymore. It saves
about 9Mb when the complete kernel is compiled with -g.

If there is no debugging symbols in the kernel the penalty of stripping 
the kernel first is a neglactable IMHO.
>How-To-Repeat:

>Fix:
*** Makefile.i386.orig	Mon Oct  5 13:49:51 1998
--- Makefile.i386	Sun Nov  1 14:20:59 1998
***************
*** 217,222 ****
--- 217,223 ----
	fi
  .if exists(${DESTDIR}/kernel)
	chflags noschg ${DESTDIR}/kernel
+	-strip -d ${DESTDIR}/kernel
	mv ${DESTDIR}/kernel ${DESTDIR}/kernel.old
  .endif
	PATH=$${PATH}:/sbin:/usr/sbin; \

>Audit-Trail:
>Unformatted:

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-bugs" in the body of the message