#include "src/internal_config.h"
#include <cstdio>
#ifdef _WIN32
-#include <csignal> /* To silence MSVC on abort() */
+# include <csignal> /* To silence MSVC on abort() */
#endif
#if HAVE_UNISTD_H
-# include <unistd.h>
+# include <unistd.h>
#endif
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(module, xbt, "module handling");
#elif HAVE_SYSCONF
xbt_pagesize = sysconf(_SC_PAGESIZE);
#else
- #error Cannot get page size.
+# error Cannot get page size.
#endif
xbt_pagebits = log2(xbt_pagesize);
xbt_os_thread_mod_postexit();
xbt_dynar_free(&xbt_cmdline);
xbt_log_postexit();
- free(xbt_binary_name);
#if SIMGRID_HAVE_MC
mmalloc_postexit();
#endif
return;
}
- xbt_binary_name = xbt_strdup(argv[0]);
+ xbt_binary_name = argv[0];
xbt_cmdline = xbt_dynar_new(sizeof(char*), NULL);
for (int i = 0; i < *argc; i++)
xbt_dynar_push(xbt_cmdline,&(argv[i]));