[Build-common-hackers] Bug#521711: Bug#521711: Bug#521711: Looks fixed.

[Peter Eisentraut]

On Tuesday 09 June 2009 00:00:37 Raúl Sánchez Siles wrote:
> rm -r <build-tree>
>
> should be idempotent to:
>
> make -C <build-tree> clean
> rm -r <build-tree>
>
>   It's only that formally, IMHO, the latter is more correct.

FWIW, people have complained in similar situations that the latter is much 
slower.