From: mquinson Date: Sat, 24 Jul 2004 20:54:16 +0000 (+0000) Subject: Append the config.log even on successful executions X-Git-Tag: v3.3~5006 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f28aa52cfe577ea47d2c88840c216f7f6d37e075 Append the config.log even on successful executions git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@342 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- diff --git a/tools/compile-remote-worker.in b/tools/compile-remote-worker.in index 8e47ce4fa3..dbf3525ad8 100644 --- 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.