On Sun, 8 Oct 2006, David Dawes wrote:
On Fri, Oct 06, 2006 at 07:22:33AM +0100, Andrew C Aitchison wrote:
I've been forgetting to report this for a while.
It started happening around the 2nd September.
I run
make WORLDOPTS=-k World
and all (I think) the tinyx directories report
On Fri, Oct 06, 2006 at 07:22:33AM +0100, Andrew C Aitchison wrote:
I've been forgetting to report this for a while.
It started happening around the 2nd September.
I run
make WORLDOPTS=-k World
and all (I think) the tinyx directories report problems with
make target distclean. This is
I've been forgetting to report this for a while.
It started happening around the 2nd September.
I run
make WORLDOPTS=-k World
and all (I think) the tinyx directories report problems with
make target distclean. This is RedHat Linux.
I'm not expliciting building TinyX.
make[4]: Entering