| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index 8f5ffedc1870cca757b5fae117c1011188885976..5a0c9f7b94b80ca85073647260f187acef358755 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -731,8 +731,6 @@ DEFINE_BOOL(trace_contexts, false, "trace contexts operations")
|
| 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_native_context_separation, false,
|
| - "verify that code holds on to at most one native context after GC")
|
| DEFINE_BOOL(print_handles, false, "report handles after GC")
|
| DEFINE_BOOL(print_global_handles, false, "report global handles after GC")
|
|
|
|
|