Date: Tue, 3 Nov 1998 01:57:07 -0800 (PST) From: nick.hibma@jrc.it To: freebsd-gnats-submit@FreeBSD.ORG Subject: kern/8550: strip kernel before moving it during make install Message-ID: <199811030957.BAA17237@hub.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199811030957.BAA17237>