tree 6763293717a77458f0e819c5a751b736d6848255
parent 90b10c379f9170e0581ce9dc2b84e3281b6b1b3f
author Gilles Peskine <Gilles.Peskine@arm.com> 1634808027 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1634808340 +0200

Remove redundant "should we skip?" block

There's a second one just below.

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