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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
