| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index 2a57ceefd540e09213eee9c7249fd84c05a3b0a3..cfaf5bd328f2039f18b472c9625f24bfa72c16bd 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -552,6 +552,8 @@ DEFINE_bool(gc_verbose, false, "print stuff during garbage collection")
|
| DEFINE_bool(heap_stats, false, "report heap statistics before and after GC")
|
| DEFINE_bool(code_stats, false, "report code statistics after GC")
|
| DEFINE_bool(verify_heap, false, "verify heap pointers before and after GC")
|
| +DEFINE_bool(verify_global_context_separation, false,
|
| + "verify that code holds on to at most one global context after GC")
|
| DEFINE_bool(print_handles, false, "report handles after GC")
|
| DEFINE_bool(print_global_handles, false, "report global handles after GC")
|
|
|
|
|