[Ffmpeg-devel] [PATCH]config.log was lost
Mon Nov 20 11:50:08 CET 2006
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.
More information about the ffmpeg-devel