1.1 --- a/common/autoconf/generated-configure.sh Thu Sep 12 12:12:13 2013 +0200
1.2 +++ b/common/autoconf/generated-configure.sh Fri Sep 13 13:07:02 2013 +0200
1.3 @@ -3806,7 +3806,7 @@
1.4 #CUSTOM_AUTOCONF_INCLUDE
1.5
1.6 # Do not change or remove the following line, it is needed for consistency checks:
1.7 -DATE_WHEN_GENERATED=1378980507
1.8 +DATE_WHEN_GENERATED=1379070243
1.9
1.10 ###############################################################################
1.11 #
1.12 @@ -33186,6 +33186,7 @@
1.13 # We're messing a bit with internal autoconf variables to put the config.status
1.14 # in the output directory instead of the current directory.
1.15 CONFIG_STATUS="$OUTPUT_ROOT/config.status"
1.16 +
1.17 # Create the actual output files. Now the main work of configure is done.
1.18 cat >confcache <<\_ACEOF
1.19 # This file is a shell script that caches the results of configure
1.20 @@ -34467,6 +34468,11 @@
1.21 fi
1.22
1.23
1.24 +# Try to move the config.log file to the output directory.
1.25 +if test -e ./config.log; then
1.26 + $MV -f ./config.log "$OUTPUT_ROOT/config.log" 2> /dev/null
1.27 +fi
1.28 +
1.29 # Make the compare script executable
1.30 $CHMOD +x $OUTPUT_ROOT/compare.sh
1.31
