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