#include "xbt/swag.h"
#include "xbt/xbt_os_thread.h"
#include "smx_private.h"
-#include "gras_config.h"
+#include "simgrid/sg_config.h"
+#include "internal_config.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_context, simix,
"Context switching mechanism");
char* smx_context_factory_name = NULL; /* factory name specified by --cfg=contexts/factory:value */
smx_ctx_factory_initializer_t smx_factory_initializer_to_use = NULL;
int smx_context_stack_size = 128 * 1024;
-
+int smx_context_stack_size_was_set = 0;
#ifdef HAVE_THREAD_LOCAL_STORAGE
static __thread smx_context_t smx_current_context_parallel;
#else
finalize_factory = simix_global->context_factory->finalize;
finalize_factory(&simix_global->context_factory);
}
- xbt_dict_remove((xbt_dict_t) _surf_cfg_set,"contexts/factory");
+ xbt_dict_remove((xbt_dict_t) _sg_cfg_set,"contexts/factory");
}
/**