void sg_config_finalize(void) { if (!_sg_cfg_init_status) return; /* Not initialized yet. Nothing to do */ xbt_cfg_free(&_sg_cfg_set); _sg_cfg_init_status = 0; }
void sg_config_finalize() { if (!_sg_cfg_init_status) return; /* Not initialized yet. Nothing to do */ xbt_cfg_free(&simgrid_config); _sg_cfg_init_status = 0; }