Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index a5cf326ea20125d347d900dec9f6b06c0a993488..879f650c4d2b5979f3d0b55fad7b742ab9b28bb5 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -613,10 +613,6 @@ DEFINE_int(hash_seed, 0, |
DEFINE_bool(profile_deserialization, false, |
"Print the time it takes to deserialize the snapshot.") |
-// v8.cc |
-DEFINE_bool(preemption, false, |
- "activate a 100ms timer that switches between V8 threads") |
- |
// Regexp |
DEFINE_bool(regexp_optimization, true, "generate optimized regexp code") |