tree e73cbf7e59024168d25b7e1906e7c68d518788e3
parent 8f5a5018e89aa15b770bea316aa7c5e527c8996f
author Gilles Peskine <Gilles.Peskine@arm.com> 1574351390 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1574351390 +0100

Move the names of input files to global variables

No behavior change.