Merge pull request #9 from abhisheksharma1395/activate_mem_profile

activate mem profile
2 years ago · b4168f68be
parent d84b14cdd6 5bc714d9eb
commit b4168f68be
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] = {};