diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-31 13:11:46 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-31 16:03:01 +0100 |
| commit | 84916f2fc692c2ac9bbc2aebf621572e4aa3b7c1 (patch) | |
| tree | f937bf2ade4dd6cb772ee06b6faace8f2767eafb /executor/executor.cc | |
| parent | 2e5e7b6f6be8c0f5bb741acb658388d2c1bd71b9 (diff) | |
manager: run leak checking only on one instance (it is slow)
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions