From 347c4fc806f4d7ce53af4aa084ca41c85a5a60d0 Mon Sep 17 00:00:00 2001 From: mquinson Date: Sun, 25 Jul 2004 00:51:51 +0000 Subject: [PATCH 1/1] 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 --- tools/compile-remote-worker.in | 5 +++++ 1 file changed, 5 insertions(+) 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. -- 2.20.1