-static const char* env_name = "SIMGRID_MALLOC_USE_MM";
-
-int mmalloc_exec_using_mm(int argc, const char** argv)
-{
- char** argv2 = (char**) malloc(sizeof(char*) * (argc+1));
- memcpy(argv2, argv, sizeof(char*) * argc);
- argv2[argc] = NULL;
- if (setenv(env_name, "1", 1) >= 0) {
- execv(argv[0], argv2);
- }
- unsetenv(env_name);
- fprintf(stderr, "Could not restart with mm malloc\n");
- free(argv2);
- return -1;
-}
-
-void mmalloc_ensure_using_mm(int argc, const char** argv)
-{
- if (!__mmalloc_default_mdp) {
- mmalloc_exec_using_mm(argc, argv);
- }
-}
-