common/autoconf/configure
changeset 19759 9d0666acc5af
parent 14111 2a82ecb35fc7
child 20363 fa7663fc5d50
--- 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