diff -r ec48d637778a -r 174a54ce39c4 common/autoconf/configure.ac --- a/common/autoconf/configure.ac Wed Oct 09 18:51:32 2013 -0700 +++ b/common/autoconf/configure.ac Thu Oct 10 14:58:19 2013 +0200 @@ -236,7 +236,7 @@ # 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. +# 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