On Fri, Aug 11, 2000 at 06:49:09PM +0200, Marcus Brinkmann wrote: > On Fri, Aug 11, 2000 at 01:07:10AM -0400, Igor Khavkine wrote: > > Also a directly relevant question is whether it's worth considering > > replacing > > make which might already be old enough to retire. > > You jest! ;) I wonder what Roland has to say about this since he's one of the authors of GNU make.
> > And if Hurd isn't a place > > for innovation, then what is. > > You know, make is a tool for development. The Hurd is an Operating System. > There is no connection at all, except that the Hurd uses make in its build > system. > > > Thanks, > Marcus Yes, that's true. But we are also talking about Debian GNU/Hurd, which is a distribution. And one of the roles of a distribution and its packages is to set policy. Right now the official policy for the hurd package is to be built using make. This policy could very well change. And whether it should change is a relevant point for discussion. Igor
