-BEGIN PGP SIGNED MESSAGE-
Hash: RIPEMD160
On Mon, Jun 08, 2009 at 11:00:37PM +0200, Raúl Sánchez Siles wrote:
>When I read your e-mail I decided to test your solution and I did:
>modifying the real makefile.mk file. I did a copy of the original one,
>but after some time, when I revisite
On Tuesday 09 June 2009 00:00:37 Raúl Sánchez Siles wrote:
> rm -r
>
> should be idempotent to:
>
> make -C clean
> rm -r
>
> 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, e
2 matches
Mail list logo
