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

Michel Bardiaux mbardiaux
Wed Nov 15 15:08:34 CET 2006


Panagiotis Issaris wrote:
> Hi,
> 
> On Wed, 2006-11-15 at 14:55 +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
> This doesn't seem to help, as it appears from the diff that config.log
> was already being removed?

Right. I had traced the introduction of the current state (rm config.*), 
but forgot to look at the previous state! Would it be useful to trace it?

So, proposal 2 should be to change to:

rm -f .depend config.mak config.h version.h *.pc config.err

> 
> With friendly regards,
> Takis


-- 
Michel Bardiaux
R&D Director
T +32 [0] 2 790 29 41
F +32 [0] 2 790 29 02
E mailto:mbardiaux at mediaxim.be

Mediaxim NV/SA
Vorstlaan 191 Boulevard du Souverain
Brussel 1160 Bruxelles
http://www.mediaxim.com/




More information about the ffmpeg-devel mailing list