diff options
| author | 2019-06-27 15:32:00 +0100 | |
|---|---|---|
| committer | 2019-07-02 06:59:01 +0000 | |
| commit | 714fad657516f43f96ab45bd1e8853edd3662d6a (patch) | |
| tree | 910937741b7d5b30a830765436d0029c86648e5f /compiler/driver/compiler_options.h | |
| parent | 21c489870a2de5db4f4e9c97979676bf39c933a9 (diff) | |
Delete tasks when deleting a thread pool.
Fixes memory leak.
Test: test.py --jit
Change-Id: If339015f1629b42c2ff17c80e97f1303843ef878
Diffstat (limited to 'compiler/driver/compiler_options.h')
0 files changed, 0 insertions, 0 deletions