diff options
| author | Mark Johnston <markjdb@gmail.com> | 2019-03-18 13:41:53 -0400 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-03-19 10:26:46 +0100 |
| commit | 0dbba7ad6ccbcb80641d05e55214eafd098883c4 (patch) | |
| tree | b1999c319f2eb54cb4f22f86073fdaa3a6fd32a2 /pkg | |
| parent | 46264c32592e5b2b959e3290bd0b8305ecec58db (diff) | |
sys/targets: use kernel.full instead of kernel.debug
The latter contains only debug symbols and is meant to be used with the
kernel executable. That is, the kernel executable contains a
.gnu_debuglink pointer to kernel.debug. kernel.full contains
everything, including a copy of the kernel's text section, which we want
when enumerating __sanitizer_cov_trace_pc() calls for a coverage report.
Diffstat (limited to 'pkg')
0 files changed, 0 insertions, 0 deletions