Append the config.log even on successful executions

[simgrid.git] / tools / compile-remote-worker.in

diff --git a/tools/compile-remote-worker.in b/tools/compile-remote-worker.in
index 8e47ce4..dbf3525 100644 (file)
--- a/tools/compile-remote-worker.in
+++ b/tools/compile-remote-worker.in
@@ -131,6 +131,7 @@ if echo $@ | grep check >/dev/null ; then
   do_cmd "make $MAKE_CHECK 2>&1" || fail "Cannot make check"
 fi
 
+cat config.log
 echo
 echo
 echo Remote compilation sucessful.