From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Thu, 19 Jul 2012 06:56:59 GMT
Subject: Re: [PATCH 6/7] build: "make clean" should not remove configure-generated files
Message-ID: <vpqy5mgdyro.fsf@bauges.imag.fr>
In-Reply-To: <e763e7f466efa34f48589f8353a7316fff469145.1342649928.git.stefano.lattarini@gmail.com>

Stefano Lattarini <stefano.lattarini@gmail.com> writes:

> for example, an autotools old-timer that has run:
>
>     ./configure --prefix /opt/git
>
> in the past, without running "make distclean" afterwards, would
> expect a "make install" issued after a "make clean" to rebuild and
> install git in '/opt/git';

I've been hit by that behavior once. Thanks for fixing it. The patch
looks good.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/