Index: src/d8.cc |
diff --git a/src/d8.cc b/src/d8.cc |
index fb24bcce585c802450a500b8b5000c5aa445058b..8b4adf0434e86fe1512e60714d792c08e1c72053 100644 |
--- a/src/d8.cc |
+++ b/src/d8.cc |
@@ -1746,6 +1746,7 @@ int Shell::Main(int argc, char* argv[]) { |
RunShell(isolate); |
} |
} |
+ OnExit(); |
#ifndef V8_SHARED |
// Dump basic block profiling data. |
if (i::BasicBlockProfiler* profiler = |
@@ -1759,8 +1760,6 @@ int Shell::Main(int argc, char* argv[]) { |
V8::ShutdownPlatform(); |
delete platform; |
- OnExit(); |
- |
return result; |
} |