common/autoconf/configure.ac
changeset 30417 581a2762eef1
parent 29790 79641c886929
child 32810 8203e52cd373
child 33926 3a19edba4808
--- a/common/autoconf/configure.ac	Mon May 11 16:39:31 2015 +0530
+++ b/common/autoconf/configure.ac	Mon May 11 13:45:39 2015 +0200
@@ -265,15 +265,10 @@
 
 # Create the actual output files. Now the main work of configure is done.
 AC_OUTPUT
+
+# After AC_OUTPUT, we need to do final work
 CUSTOM_CONFIG_OUTPUT_GENERATED_HOOK
-
-# Try to move the config.log file to the output directory.
-if test -e ./config.log; then
-  $MV -f ./config.log "$CONFIGURESUPPORT_OUTPUTDIR/config.log" 2> /dev/null
-fi
-
-# Make the compare script executable
-$CHMOD +x $OUTPUT_ROOT/compare.sh
+BASIC_POST_CONFIG_OUTPUT
 
 # Finally output some useful information to the user
 HELP_PRINT_SUMMARY_AND_WARNINGS