Subject: Re: libc/arch/arm32
To: Patrick Welche <prlw1@newn.cam.ac.uk>
From: Chris Gilbert <chris@paradox.demon.co.uk>
List: port-arm32
Date: 04/13/2001 11:30:37
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

Cheers,
Chris