Date: Thu, 12 Nov 1998 22:00:01 -0800 (PST) From: Jacques Vidrine <n@nectar.com> To: freebsd-bugs@FreeBSD.ORG Subject: Re: kern/8550: strip kernel before moving it during make install Message-ID: <199811130600.WAA18963@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR kern/8550; it has been noted by GNATS. 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 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?199811130600.WAA18963>