On Sun, Mar 14, 2004 at 07:29:44AM +0200, John Hay wrote: > On Sun, Mar 14, 2004 at 01:26:15PM +1100, Tim Robbins wrote: > > I plan to remove doscmd from the base system for the sole reason that it > > is no longer useful. Any objections? > > Why would you want to remove it? It is still very usefull. I use it > regularly. The only drawback currently is that the Makefile is set > up in such a way that it does not pick up X during a "make world", > so after a "make world" you have to build it again to pick up X. > Built without X it is less usefull. This is exactly the reason why the source tree is not the right place for doscmd. -- Marcel Moolenaar USPA: A-39004 marcel_at_xcllnt.netReceived on Sat Mar 13 2004 - 22:53:30 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:47 UTC