[Ffmpeg-devel] [PATCH]config.log was lost

Diego Biurrun diego
Mon Nov 20 22:46:57 CET 2006


On Mon, Nov 20, 2006 at 09:36:41PM +0000, M?ns Rullg?rd wrote:
> Diego Biurrun <diego at biurrun.de> writes:
> 
> > On Sat, Nov 18, 2006 at 03:24:44AM +0100, Diego Biurrun wrote:
> >> On Wed, Nov 15, 2006 at 02:55:38PM +0100, Michel Bardiaux wrote:
> >> > r5581 did this (rationale: "simplify")
> >> > 
> >> > -	rm -f .depend config.mak config.h version.h *.pc config.err 
> >> > config.log
> >> > +	rm -f .depend version.h config.* *.pc
> >> > 
> >> > Result: make distclean removes config.log, which was supposed to survive 
> >> > since it helps one for the next configure.
> >> > 
> >> > Possibility 1: attached patch, which bypasses the make distclean by 
> >> > changing the file name.
> >> > 
> >> > Possibility 2: undo change 5581
> >> 
> >> Possibility 3: Remove this mechanism.  I don't see it being particularly
> >> useful in the sense that it can be done with shell aliases, one-liner
> >> shell scripts or a large command history ...
> >
> > No opinions?  I'm going to remove it then.
> 
> Go ahead, remove it.

Done.

Diego




More information about the ffmpeg-devel mailing list