tree d7c87dd1391aab687dd16527d43b1291ac0d12c4
parent c24023649ed41fdc4919dc01adb4559019977815
author Gilles Peskine <Gilles.Peskine@arm.com> 1606069991 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1606069991 +0100

A variable is unused in some configurations

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>