# HG changeset patch # User ihse # Date 1379070422 -7200 # Node ID 9d0666acc5afe69da4cbaa2dbfebfe3f1064f9bb # Parent 3e519fa7e6323eceaa3e81ac77650f6d2f88e4bd 8024620: config.log does not end up in corresponding configuration Reviewed-by: erikj diff -r 3e519fa7e632 -r 9d0666acc5af common/autoconf/configure --- a/common/autoconf/configure Thu Sep 12 12:12:13 2013 +0200 +++ b/common/autoconf/configure Fri Sep 13 13:07:02 2013 +0200 @@ -219,9 +219,4 @@ echo configure exiting with result code $conf_result_code fi -# Move the log file to the output root, if this was successfully created -if test -d "$OUTPUT_ROOT"; then - mv -f config.log "$OUTPUT_ROOT" 2> /dev/null -fi - exit $conf_result_code diff -r 3e519fa7e632 -r 9d0666acc5af common/autoconf/configure.ac --- a/common/autoconf/configure.ac Thu Sep 12 12:12:13 2013 +0200 +++ b/common/autoconf/configure.ac Fri Sep 13 13:07:02 2013 +0200 @@ -232,9 +232,15 @@ # We're messing a bit with internal autoconf variables to put the config.status # in the output directory instead of the current directory. CONFIG_STATUS="$OUTPUT_ROOT/config.status" + # Create the actual output files. Now the main work of configure is done. AC_OUTPUT +# Try to move the config.log file to the output directory. +if test -e ./config.log; then + $MV -f ./config.log "$OUTPUT_ROOT/config.log" 2> /dev/null +fi + # Make the compare script executable $CHMOD +x $OUTPUT_ROOT/compare.sh diff -r 3e519fa7e632 -r 9d0666acc5af common/autoconf/generated-configure.sh --- a/common/autoconf/generated-configure.sh Thu Sep 12 12:12:13 2013 +0200 +++ b/common/autoconf/generated-configure.sh Fri Sep 13 13:07:02 2013 +0200 @@ -3806,7 +3806,7 @@ #CUSTOM_AUTOCONF_INCLUDE # Do not change or remove the following line, it is needed for consistency checks: -DATE_WHEN_GENERATED=1378980507 +DATE_WHEN_GENERATED=1379070243 ############################################################################### # @@ -33186,6 +33186,7 @@ # We're messing a bit with internal autoconf variables to put the config.status # in the output directory instead of the current directory. CONFIG_STATUS="$OUTPUT_ROOT/config.status" + # Create the actual output files. Now the main work of configure is done. cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure @@ -34467,6 +34468,11 @@ fi +# Try to move the config.log file to the output directory. +if test -e ./config.log; then + $MV -f ./config.log "$OUTPUT_ROOT/config.log" 2> /dev/null +fi + # Make the compare script executable $CHMOD +x $OUTPUT_ROOT/compare.sh