| Index: src/optimizing-compiler-thread.h
|
| diff --git a/src/optimizing-compiler-thread.h b/src/optimizing-compiler-thread.h
|
| index 59c94cb214263a365d181e3c47407502f21fc838..699c76dcb8849b5ac89f51d8bc266d2b5d2e39d8 100644
|
| --- a/src/optimizing-compiler-thread.h
|
| +++ b/src/optimizing-compiler-thread.h
|
| @@ -83,8 +83,12 @@ class OptimizingCompilerThread : public Thread {
|
| #endif
|
|
|
| ~OptimizingCompilerThread() {
|
| + delete install_mutex_;
|
| delete input_queue_semaphore_;
|
| delete stop_semaphore_;
|
| +#ifdef DEBUG
|
| + delete thread_id_mutex_;
|
| +#endif
|
| }
|
|
|
| private:
|
|
|