[Ffmpeg-devel] [PATCH]config.log was lost
Panagiotis Issaris
takis.issaris
Wed Nov 15 15:02:06 CET 2006
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?
With friendly regards,
Takis
More information about the ffmpeg-devel
mailing list