diff options
| author | Andrei Vagin <avagin@google.com> | 2020-11-09 12:13:13 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-11-09 12:15:14 -0800 |
| commit | cbca5b2edde0920309029a0c591f28ce65cdad70 (patch) | |
| tree | 01f580977a1385e190b4f0d04e8d0d61d4433ea3 /.gitignore | |
| parent | d4e0b829e44356973e56d9fafa1cf43bb87a9ae0 (diff) | |
Print a debug message if /sys/kernel/debug/kcov is available
This will help to debug:
https://syzkaller.appspot.com/bug?id=0d717bd7028dceeb4b38f09aab2841c398b41d81
PiperOrigin-RevId: 341458715
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions