On Fri, Apr 13, 2001 at 11:30:37AM +0100, Chris Gilbert wrote:
> On Friday 13 April 2001  1:16 am, Patrick Welche wrote:
> > In case anyone else has the same prob
> >
> > rm -rf src/lib/libc/arch/arm32
> >
> > is a good plan, else one gets errors about missing Makefile.inc files..
> 
> What are you using to track source code?  if it's cvs, then you might be 
> missing the option -P, that should delete empty directories eg:
> cvs -z2 update -Pd

Precisely what I use.. Once I delete it, it doesn't come back sure enough,
but I needed to delete it in the first place..