| Index: src/d8.h
|
| diff --git a/src/d8.h b/src/d8.h
|
| index 411dfdda3e12488a775a35a29b3548a93a838efd..3a02c89c1e919a27a0352ae7e7fcf150c24e7b3e 100644
|
| --- a/src/d8.h
|
| +++ b/src/d8.h
|
| @@ -219,8 +219,6 @@ class ShellOptions {
|
| public:
|
| ShellOptions() :
|
| #ifndef V8_SHARED
|
| - use_preemption(true),
|
| - preemption_interval(10),
|
| num_parallel_files(0),
|
| parallel_files(NULL),
|
| #endif // V8_SHARED
|
| @@ -244,8 +242,6 @@ class ShellOptions {
|
| }
|
|
|
| #ifndef V8_SHARED
|
| - bool use_preemption;
|
| - int preemption_interval;
|
| int num_parallel_files;
|
| char** parallel_files;
|
| #endif // V8_SHARED
|
|
|