diff options
| -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. # |