[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.

Måns Rullgård mans
Sun Jun 13 22:37:43 CEST 2010


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.

-- 
M?ns Rullg?rd
mans at mansr.com



More information about the ffmpeg-devel mailing list