From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 25 Jul 2004 00:51:51 +0000 (+0000)
Subject: add the file boundary to the config.log on success so that the tools can extract... 
X-Git-Tag: v3.3~5001
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/347c4fc806f4d7ce53af4aa084ca41c85a5a60d0?hp=7f7ed3d84de266009a7fc10990540ecb644a67e9

add the file boundary to the config.log on success so that the tools can extract them


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@347 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/tools/compile-remote-worker.in b/tools/compile-remote-worker.in
index dbf3525ad8..10b8af1eaa 100644
--- a/tools/compile-remote-worker.in
+++ b/tools/compile-remote-worker.in
@@ -131,7 +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.