tree 6b3fde85ea3148a0451885e0b3cc611a94c0fc4c
parent db5d607cb170560a98d3fca09f5a81e15dbbf35b
author Thomas Daubney <thomas.daubney@arm.com> 1708007108 +0000
committer Thomas Daubney <thomas.daubney@arm.com> 1708007108 +0000

Conditionally include exit label

Signed-off-by: Thomas Daubney <thomas.daubney@arm.com>