X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5d398c5b8dfc57e2fa35a092f0c9e07561da578a..1cd92ef12faceee652c539c4c168ab5fd7f7da49:/tools/compile-remote-worker.in

diff --git a/tools/compile-remote-worker.in b/tools/compile-remote-worker.in
index 8e47ce4fa3..10b8af1eaa 100644
--- a/tools/compile-remote-worker.in
+++ b/tools/compile-remote-worker.in
@@ -131,6 +131,12 @@ if echo $@ | grep check >/dev/null ; then
   do_cmd "make $MAKE_CHECK 2>&1" || fail "Cannot make check"
 fi
 
+echo Remote compilation sucessful.
+echo
+echo
+echo CONFIG-LOG-DUMP-BEGIN
+cat config.log
+echo CONFIG-LOG-DUMP-END
 echo
 echo
 echo Remote compilation sucessful.