| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index 1781f7f0bc38c6621dd27cdffa30daa8d56ef0af..72c74ada8fa4fc0118a2d3a0136b0ae15e69d3cf 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -611,10 +611,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")
|
|
|
|
|