activate mem profile

2 years ago · 5bc714d9eb
parent d84b14cdd6
commit 5bc714d9eb
1 changed files with 1 additions and 0 deletions
--- a/runtime/include/sandbox_summarize_page_allocations.h
+++ b/runtime/include/sandbox_summarize_page_allocations.h
@ -9,6 +9,7 @@
 static inline void
 sandbox_summarize_page_allocations(struct sandbox *sandbox)
 {
+char *mem_profile_log_enable = getenv("SLEDGE_SANDBOX_PERF_LOG");
 #ifdef LOG_SANDBOX_MEMORY_PROFILE
 	// TODO: Handle interleavings
 	char sandbox_page_allocations_log_path[100] = {};