tree d1f2bbb14599b11ce8406ebae21309e7de87ce3d
parent e095da79cc3575c8cbf818acd8a856ba136b0927
author Jeremy Johnson <jeremy.johnson@arm.com> 1706530061 +0000
committer Jeremy Johnson <jeremy.johnson@arm.com> 1706696775 +0000

Fix verify REDUCE_PRODUCT reporting

Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: If748c75ac713bb5bd7c7e6bc787ce9993a97a8a0