tree 19c06e3867b8398b91ea5b710c4402f2621be4d0
parent b636d81a98b4abbe38469135aaaffdf97400c05b
author Nico Huber <nico.h@gmx.de> 1662289977 +0200
committer Nico Huber <nico.h@gmx.de> 1669654824 +0000

display probing: Update warning justification

The wording for the unused-assignment warning changed. To support
both older and newer version of GNATprove, add another justification
to the existing one.

Change-Id: I832d40a8e515eff63be2b196b18ca7b6f0114914
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/68107
Reviewed-by: Angel Pons <th3fanbus@gmail.com>