| 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;
|
| }
|
|
|
|
|