echo " and send the following informations to simgrid-devel@lists.gforge.inria.fr:"
echo " - the file simgrid.tests.log produced by this command."
echo " - a short description of the target platform (arch, OS, distrib, compiler)."
echo " and send the following informations to simgrid-devel@lists.gforge.inria.fr:"
echo " - the file simgrid.tests.log produced by this command."
echo " - a short description of the target platform (arch, OS, distrib, compiler)."