diff options
| author | Mark Johnston <markjdb@gmail.com> | 2019-03-18 14:22:22 -0400 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-03-19 10:26:46 +0100 |
| commit | e454923488b8efd4665785621c1b8757ae8c6aad (patch) | |
| tree | 1658fcc2e8e8832c9bd53f4164c01e779d922df7 /executor/test_linux.h | |
| parent | 0dbba7ad6ccbcb80641d05e55214eafd098883c4 (diff) | |
pkg/build: copy kernel.full to the objdir after a build
This helps ensure that we can create coverage reports on FreeBSD.
Diffstat (limited to 'executor/test_linux.h')
0 files changed, 0 insertions, 0 deletions