diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-07-22 09:07:05 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-07-22 09:07:23 +0200 |
| commit | 18678d6989dc28eb5dfa6dd9829d2a0847cde496 (patch) | |
| tree | 111d75c16015c3d54c9bddc4bfd547cdcb0268ac /pkg/report/linux.go | |
| parent | b3c615f51bdc1f8225ef090b77bb8e6b3b597b60 (diff) | |
pkg/report: support older format of "bad usercopy"
Diffstat (limited to 'pkg/report/linux.go')
| -rw-r--r-- | pkg/report/linux.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/report/linux.go b/pkg/report/linux.go index b9145566b..61f92ef5d 100644 --- a/pkg/report/linux.go +++ b/pkg/report/linux.go @@ -1385,6 +1385,7 @@ var linuxOopses = []*oops{ compile("Call Trace:"), parseStackTrace, }, + skip: []string{"usercopy", "__check"}, }, }, { |