[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