diff options
| author | Paul Menzel <pmenzel@molgen.mpg.de> | 2020-05-29 02:24:09 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-07-15 12:31:46 +0000 |
| commit | df5571dc9d94717a3eb32c56c950715b504c1b52 (patch) | |
| tree | da3f5313395b984eedb11406eda6157620c32da9 /util/board_status | |
| parent | 91323593f3cec1e96984677307682c14679ed333 (diff) | |
util/board-status: Reject logs with unknown timestamps
Check the output of `cbmem -t` for unknown timestamps. If present, ask
the user to rebuild `cbmem`.
Change-Id: Ief7aa1a698f10d9721964ad1bee057fcd9f4aa40
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41857
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/board_status')
| -rwxr-xr-x | util/board_status/board_status.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/util/board_status/board_status.sh b/util/board_status/board_status.sh index dd3d8f2c5e..31c3e7c483 100755 --- a/util/board_status/board_status.sh +++ b/util/board_status/board_status.sh @@ -459,6 +459,12 @@ if [ $(grep -- -dirty "${tmpdir}/${results}/coreboot_console.txt") ]; then exit $EXIT_FAILURE fi +if [ $(grep -- unknown "${tmpdir}/${results}/coreboot_timestamps.txt") ]; then + echo "Unknown timestamps found in 'coreboot_timestamps.txt'." \ + "Please rebuild the 'cbmem' utility and try again." + exit $EXIT_FAILURE +fi + # # Finish up. # |