From nobody  Tue Nov  3 01:57:07 1998
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
Subject: strip kernel before moving it during make install
X-Send-Pr-Version: www-1.0

>Number:         8550
>Category:       kern
>Synopsis:       strip kernel before moving it during make install
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-bugs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Tue Nov  3 02:00:01 PST 1998
>Closed-Date:    Thu Jun 24 10:48:07 PDT 1999
>Last-Modified:  Thu Jun 24 10:50:58 PDT 1999
>Originator:     Nick Hibma
>Release:        FreeBSD-3.0-CURRENT
>Organization:
n/a
>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; \

>Release-Note:
>Audit-Trail:

From: Jacques Vidrine <n@nectar.com>
To: freebsd-gnats-submit@freebsd.org, nick.hibma@jrc.it
Cc:  Subject: Re: kern/8550: strip kernel before moving it during make install
Date: Thu, 12 Nov 1998 23:56:28 -0600

 That would seem to violate POLA.  Perhaps a make flag should be used to 
 control the behavior of the disposition of the old kernel.  It would
 be useful to provide a few different behaviors, such as:
 
 * chunk the old kernel, forget about it
 * strip the old kernel before moving it (as this PR suggests)
 * follow the current behavior (this must remain the default)
 * use a date suffix for old kernels (i.e. instead of kernel.old,
   kernel.19981112)
 
 -- 
 Jacques Vidrine / n@nectar.com / nectar@FreeBSD.org
State-Changed-From-To: open->closed 
State-Changed-By: n_hibma 
State-Changed-When: Thu Jun 24 10:48:07 PDT 1999 
State-Changed-Why:  
In the CURRENT (or HACKERS) mailing list a discussion has decided on the 
fate of the symbols in the kernel. Strip the kernel before moving and 
any symbols or debugging symbols are only present in the kernel 
compilation directory. GDB can be used against the kernel there anyway. 
>Unformatted:
