summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
7f7ed3d)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@347
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
do_cmd "make $MAKE_CHECK 2>&1" || fail "Cannot make check"
fi
do_cmd "make $MAKE_CHECK 2>&1" || fail "Cannot make check"
fi
+echo Remote compilation sucessful.
+echo
+echo
+echo CONFIG-LOG-DUMP-BEGIN
+echo CONFIG-LOG-DUMP-END
echo
echo
echo Remote compilation sucessful.
echo
echo
echo Remote compilation sucessful.