diff --git a/configure b/configure index 717b23d192..d95daf9936 100755 --- a/configure +++ b/configure @@ -9,7 +9,7 @@ show_help(){ echo echo "Standard options:" echo " --help print this message" - echo " --log log tests and output to config.err" + echo " --log[=FILE|yes|no] log tests and output to FILE [config.err]" echo " --prefix=PREFIX install in PREFIX [$prefix]" echo " --libdir=DIR install libs in DIR [PREFIX/lib]" echo " --incdir=DIR install includes in DIR [PREFIX/include/ffmpeg]" @@ -107,9 +107,29 @@ logfile(){ log END $1 } -die(){ +echolog(){ log "$@" echo "$@" +} + +die(){ + echolog "$@" + cat <