[FFmpeg-devel] [PATCH 2/2] Name the configure log filename by default "config.log" rather than "config.err". The latter is misleading, as the file contains useful information not necessarily related to errors.

[Stefano Sabatini]

On date Sunday 2010-06-13 22:54:22 +0200, Reinhard Tartler encoded:
> On Sun, Jun 13, 2010 at 22:37:43 (CEST), M?ns Rullg?rd wrote:
> 
> > Stefano Sabatini <stefano.sabatini-lala at poste.it> writes:
> >
> >> ---
> >>  configure |    4 ++--
> >>  1 files changed, 2 insertions(+), 2 deletions(-)
> >>
> >> diff --git a/configure b/configure
> >> index 25dfb6d..f4693a9 100755
> >> --- a/configure
> >> +++ b/configure
> >> @@ -61,7 +61,7 @@ Options: [defaults in brackets after descriptions]
> >>
> >>  Standard options:
> >>    --help                   print this message
> >> -  --logfile=FILE           log tests and output to FILE [config.err]
> >> +  --logfile=FILE           log tests and output to FILE [config.log]
> >>    --disable-logging        do not log configure debug information
> >>    --prefix=PREFIX          install in PREFIX [$prefix]
> >>    --bindir=DIR             install binaries in DIR [PREFIX/bin]
> >> @@ -1438,7 +1438,7 @@ doc_deps="texi2html"
> >>
> >>  # default parameters
> >>
> >> -logfile="config.err"
> >> +logfile="config.log"
> >>
> >>  # installation paths
> >>  prefix_default="/usr/local"
> >> -- 
> >> 1.7.1
> >
> > Fine by me.  The name has purely historical reasons.
> 
> then please let's change it in mplayer as well!

Patches are welcome ;-)...
-- 
FFmpeg = Faithful Fundamental Mortal Perennial Evil Guide