From owner-freebsd-bugs Thu Nov 12 21:59:58 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id VAA26741 for freebsd-bugs-outgoing; Thu, 12 Nov 1998 21:59:58 -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 VAA26736 for ; Thu, 12 Nov 1998 21:59:57 -0800 (PST) (envelope-from gnats@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.8.8/8.8.5) id WAA18963; Thu, 12 Nov 1998 22:00:01 -0800 (PST) Date: Thu, 12 Nov 1998 22:00:01 -0800 (PST) Message-Id: <199811130600.WAA18963@freefall.freebsd.org> To: freebsd-bugs@FreeBSD.ORG From: Jacques Vidrine Subject: Re: kern/8550: strip kernel before moving it during make install Reply-To: Jacques Vidrine Sender: owner-freebsd-bugs@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org The following reply was made to PR kern/8550; it has been noted by GNATS. From: Jacques Vidrine 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 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-bugs" in the body of the message