Index: tools/parser-shell.cc |
diff --git a/tools/parser-shell.cc b/tools/parser-shell.cc |
index dbac64ab8f226c1cdc8c6ae3f406b14834ba6eac..2dae0558b89c8746cad8f199268b0c479ef96ea7 100644 |
--- a/tools/parser-shell.cc |
+++ b/tools/parser-shell.cc |
@@ -33,6 +33,7 @@ |
#include <vector> |
#include "src/v8.h" |
+#include "include/libplatform/libplatform.h" |
#include "src/api.h" |
#include "src/compiler.h" |
#include "src/scanner-character-streams.h" |
@@ -121,6 +122,9 @@ std::pair<v8::base::TimeDelta, v8::base::TimeDelta> RunBaselineParser( |
int main(int argc, char* argv[]) { |
v8::V8::InitializeICU(); |
+ v8::Platform* platform = v8::platform::CreateDefaultPlatform( |
+ v8::base::OS::NumberOfProcessorsOnline()); |
+ v8::V8::InitializePlatform(platform); |
v8::V8::SetFlagsFromCommandLine(&argc, argv, true); |
Encoding encoding = LATIN1; |
std::vector<std::string> fnames; |
@@ -168,5 +172,7 @@ int main(int argc, char* argv[]) { |
} |
} |
v8::V8::Dispose(); |
+ v8::V8::ShutdownPlatform(); |
+ delete platform; |
return 0; |
} |