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

[Måns Rullgård]

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.

-- 
M?ns Rullg?rd
mru at inprovide.com