tree d1e7f32786e51359acaab527448716811aac0115
parent df78e496b7acc17b9552e66df153e7d31f910537
author Gilles Peskine <Gilles.Peskine@arm.com> 1574771416 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1574771416 +0100

If python3 fails, make it clear that this isn't fatal