From f75c90a48a19a0b8f95e44d80f3278be4a434cde Mon Sep 17 00:00:00 2001
From: Michael Hoffmann <hoffmann@inf.ethz.ch>
Date: Wed, 19 Apr 2006 15:19:15 +0000
Subject: [PATCH] Add buildlog to install.log, even in case of success.

---
 Installation/install_cgal | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Installation/install_cgal b/Installation/install_cgal
index bfc14cd365d..d118e3a0a23 100755
--- a/Installation/install_cgal
+++ b/Installation/install_cgal
@@ -4145,7 +4145,7 @@ generatemakefiles()
 # return 0, iff success
 _do_compile()
 {
-    ${_printf} "%s" "${_LEFTSPACE}Building $1 $2..."
+    ${_printf} "%s" "${_LEFTSPACE}Building $1 $2 ..."
     if [ -f "${COMPILE_LOGFILE}" -a ! -w "${COMPILE_LOGFILE}" ]; then
 	${_rm} -f "${COMPILE_LOGFILE}"
     fi
@@ -4161,6 +4161,9 @@ _do_compile()
 
     if make ${MAKE_OPTION} >"${COMPILE_LOGFILE}" 2>&1; then
 	log_print "Compilation of $1 $2 ${_libname} succeeded."
+	log_print "vvvvvvvvvvvv build log for $1 $2 shown below vvvvvvvvvvvv"
+	eval ${_cat} \"${COMPILE_LOGFILE}\" ${INSTALL_LOGFILE_REDIRECTION}
+	log_print "^^^^^^^^^^^^ build log for $1 $2 shown above ^^^^^^^^^^^^"
 	${_printf} "%s\n" " done."
 	ANY_LIB_COMPILED='y'
 	return 0