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

[Diego Biurrun]

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 ...

Diego