[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