Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Append the config.log even on successful executions
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sat, 24 Jul 2004 20:54:16 +0000 (20:54 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sat, 24 Jul 2004 20:54:16 +0000 (20:54 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@342 48e7efb5-ca39-0410-a469-dd3cf9ba447f

tools/compile-remote-worker.in

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