diff --git a/tools/code_cache/mkcodecache.cc b/tools/code_cache/mkcodecache.cc index 24f7e05e1f19f7..defa1462ce45ec 100644 --- a/tools/code_cache/mkcodecache.cc +++ b/tools/code_cache/mkcodecache.cc @@ -58,5 +58,6 @@ int main(int argc, char* argv[]) { out.close(); } + v8::V8::ShutdownPlatform(); return 0; }