diff options
| author | 2015-11-04 17:22:16 +0000 | |
|---|---|---|
| committer | 2015-11-05 12:11:39 +0000 | |
| commit | 629e9350b0b72998416504f7a6fb95b6086daca8 (patch) | |
| tree | 87e98bf173f0ccd98c0f0fb728c70d4a8c0eacc6 /compiler/optimizing/graph_checker.cc | |
| parent | ad15539f5a1135d82439c5eb3ed4bb80c422a734 (diff) | |
Properly delete the jit thread pool.
bug:25461989
bug:25462600
Change-Id: I273cf256285d01c085e4dea1d997955d029361b9
Diffstat (limited to 'compiler/optimizing/graph_checker.cc')
0 files changed, 0 insertions, 0 deletions