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

Michel Bardiaux mbardiaux
Wed Nov 15 15:16:43 CET 2006


M?ns Rullg?rd wrote:
> Michel Bardiaux said:
>> 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.
> 
> The distclean target is usually expected to put the tree back to a pristine state,
> leaving no generated files behind.  Personally, I never trust such schemes, and
> build in a separate directory that I can simply delete when I'm done with it.
> 
One is supposed to make distclean after every svn update; and to do an 
update before svn diff for a patch; and to do a configure after 
distclean. Total: if you dont have a backup of the configure command, 
you have to re-think it at every update. If its complicated...

Anyway, the mechanism using config.log, which *had* been vetted, was at 
some point made useless by the rm of config.log (which I didnt see). 
Either the mechanism is completely removed, or the log has to be 
persistent. Note that the file is output-only, it is not used by any 
part of the build. Because of the 'pristine state' intent, I 
deliberately refrained from proposing something like 'configure 
--again'. Besides, I found keeping track of ALL the config lines one has 
ever used more useful.

And yes, distclean is not trustworthy, because if you do update without 
distclean, make can very well succeed but produce a bad result.

Greetings,
-- 
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