[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 stefano.sabatini-lala
Wed Jun 16 20:41:13 CEST 2010


On date Sunday 2010-06-13 21:37:43 +0100, M?ns Rullg?rd encoded:
> 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.

Applied.
-- 
FFmpeg = Free and Free Majestic Perennial Enlightened Gem



More information about the ffmpeg-devel mailing list