summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
54a25f9)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9602
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
static int smx_ctx_raw_factory_finalize(smx_context_factory_t *factory)
{
static int smx_ctx_raw_factory_finalize(smx_context_factory_t *factory)
{
- INFO1("Total User Time: %lf", totaltime);
+ VERB1("Total User Time: %lf", totaltime);
if(parmap)
xbt_parmap_destroy(parmap);
return smx_ctx_base_factory_finalize(factory);
if(parmap)
xbt_parmap_destroy(parmap);
return smx_ctx_base_factory_finalize(factory);