Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 7450ef916747c3794d0903d8ed87028afce511e7..63cf4a6aef4c389a8fbc7bf1ca81b3c524e3930a 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -328,6 +328,8 @@ DEFINE_int(concurrent_recompilation_queue_length, 8, |
"the length of the concurrent compilation queue") |
DEFINE_int(concurrent_recompilation_delay, 0, |
"artificial compilation delay in ms") |
+DEFINE_bool(block_concurrent_recompilation, false, |
+ "block queued jobs until released") |
DEFINE_bool(concurrent_osr, false, |
"concurrent on-stack replacement") |
DEFINE_implication(concurrent_osr, concurrent_recompilation) |