| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index dcc6c2cd1483d7625dce2397985cda442af553bb..fd1e3ccaeeb752ec57557225751113c6875af884 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -248,6 +248,8 @@ DEFINE_bool(parallel_recompilation, false,
|
| DEFINE_bool(trace_parallel_recompilation, false, "track parallel recompilation")
|
| DEFINE_int(parallel_recompilation_queue_length, 2,
|
| "the length of the parallel compilation queue")
|
| +DEFINE_int(parallel_recompilation_delay, 0,
|
| + "artificial compilation delay in ms")
|
| DEFINE_bool(manual_parallel_recompilation, false,
|
| "disable automatic optimization")
|
| DEFINE_implication(manual_parallel_recompilation, parallel_recompilation)
|
|
|