diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-03 14:50:21 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-03 15:14:07 +0200 |
| commit | 1a3f94087169f62f9a5832828f62b4900e98b781 (patch) | |
| tree | 2b6b9a873e4ae776d46370611099dcce203d3be7 /executor/executor.cc | |
| parent | ca27b3bc5783ce1dbda7f23883d0ddf3729902a8 (diff) | |
pkg/cover: cap number of addr2line processes
addr2line on a beefy vmlinux takes up to 1.6GB of RAM,
so don't create more than 4 of them.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions