Version 3.13.1

Performance and stability improvements on all platforms.

git-svn-id: http://v8.googlecode.com/svn/trunk@12323 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
diff --git a/src/runtime-profiler.cc b/src/runtime-profiler.cc
index e0e9812..23f41fa 100644
--- a/src/runtime-profiler.cc
+++ b/src/runtime-profiler.cc
@@ -304,7 +304,7 @@
 
     // Do not record non-optimizable functions.
     if (shared->optimization_disabled()) {
-      if (shared->deopt_count() >= Compiler::kDefaultMaxOptCount) {
+      if (shared->deopt_count() >= FLAG_max_opt_count) {
         // If optimization was disabled due to many deoptimizations,
         // then check if the function is hot and try to reenable optimization.
         int ticks = shared_code->profiler_ticks();