| Index: src/flag-definitions.h
|
| diff --git a/src/flag-definitions.h b/src/flag-definitions.h
|
| index ef11ea844c92175ea2b0758d4f25d583b6a530ff..4fb465783fa577dd1cc94eceeb6783b0c1cf92c5 100644
|
| --- a/src/flag-definitions.h
|
| +++ b/src/flag-definitions.h
|
| @@ -886,6 +886,7 @@ DEFINE_INT(random_seed, 0,
|
| "(0, the default, means to use system random).")
|
|
|
| // objects.cc
|
| +DEFINE_BOOL(thin_strings, false, "Enable ThinString support")
|
| DEFINE_BOOL(trace_weak_arrays, false, "Trace WeakFixedArray usage")
|
| DEFINE_BOOL(trace_prototype_users, false,
|
| "Trace updates to prototype user tracking")
|
|
|