Skip to content

Instantly share code, notes, and snippets.

@abarth
Last active December 4, 2015 23:43
Show Gist options
  • Save abarth/09e2459eaf83f0c9f55c to your computer and use it in GitHub Desktop.
Save abarth/09e2459eaf83f0c9f55c to your computer and use it in GitHub Desktop.
diff --git a/sky/engine/core/script/dart_init.cc b/sky/engine/core/script/dart_init.cc
index e7a9d45..9d71485 100644
--- a/sky/engine/core/script/dart_init.cc
+++ b/sky/engine/core/script/dart_init.cc
@@ -64,6 +64,7 @@ void CreateEmptyRootLibraryIfNeeded() {
static const char* kDartArgs[] = {
"--enable_mirrors=false",
+ "--optimization_counter_threshold=-1",
// Dart assumes ARM devices are insufficiently powerful and sets the
// default profile period to 100Hz. This number is suitable for older
// Raspberry Pi devices but quite low for current smartphones.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment