diff options
author | David Hendricks <david.hendricks@gmail.com> | 2017-09-16 18:43:08 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2018-02-16 22:40:10 +0000 |
commit | 0dcfb592205cfc8216c7cfd5f60f77b240b2bd4e (patch) | |
tree | d62bae2c0dedd6fa677e9e57238132ee3c0d0f8a /util/lint/lint-stable-009-old-licenses | |
parent | 82145a1275e36e8ed528ab58f812d5e634b9c574 (diff) |
board_status: Don't fetch dmesg via SSH when run over serial
It doesn't make much sense to try and obtain dmesg via SSH if we're
using the serial port. Serial should only be used to obtain dmesg if
SSH is unavailable.
Change-Id: Iec70e64666f9446cf7e98a0fbcaa1cd5cefd8898
Signed-off-by: David Hendricks <david.hendricks@gmail.com>
Reviewed-on: https://review.coreboot.org/21567
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
0 files changed, 0 insertions, 0 deletions