"exit /b" without an explicit exit value doesn't copy the value of the last command executed, causing issues on Jenkins. Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>