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 |