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) |