diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-23 17:00:05 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-24 10:03:42 +0100 |
| commit | 495b91f1198c40af039029d91057a2c981441751 (patch) | |
| tree | b0754da47472816a2008a6f3b1a9d6438ada70dc /tools/create-image.sh | |
| parent | 90f7c6d7e149c91b3b52fd43a512864370469951 (diff) | |
report: ignore info message about slow nmi handlers
Diffstat (limited to 'tools/create-image.sh')
0 files changed, 0 insertions, 0 deletions