check-sr-results: re-cache if script is newer
Re-generate our Linux cache if check-sr-results.py is newer. This is a
cheap way to avoid inconsistencies between old cache states and new script
versions. We tolerate a one hour margin, to allow development.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
Loading
Please register or sign in to comment