Date: Thu, 20 Jun 1996 19:16:14 -0700 From: "Jordan K. Hubbard" <jkh@time.cdrom.com> To: mark@linus.demon.co.uk (Mark Valentine) Cc: hackers@freebsd.org Subject: Re: What do people think of this change to /usr/src/Makefile? Message-ID: <4780.835323374@time.cdrom.com> In-Reply-To: Your message of "Fri, 21 Jun 1996 00:20:51 BST." <199606202320.AAA04239@linus.demon.co.uk>
next in thread | previous in thread | raw e-mail | index | archive | help
> Why is this necessary, when the following solution already exists? > > #!/bin/sh > /usr/bin/true > cd /usr/src && make world > cp /my/hacked/binary /usr/bin I'm not sure I follow you. I just want something that is divorced from /usr/src (so that you can blow that away and recreate it) yet coupled with make world so that if any of `n' admins wanders in there and does a make world, it does the right thing on whichever machine they happen to be on. Most folks seem to like the idea so far. > Also, your pre-world is really start-of-world and post-world is > end-of-world; the @/usr/bin/true looks ugly and superfluous. nit nit nit. :-) Jordan
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4780.835323374>