Gilles Peskine 6e8d5a00b2 Clarify confusion between file names and suffixes of file names
To test a file name exactly, prepend a / to the base name.

files_to_check actually checks suffixes, not file names, so rename it
to extensions_to_check.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2020-04-01 11:06:17 +02:00
..
2016-01-12 14:48:03 +00:00
2019-12-20 15:14:59 +00:00
2019-11-13 14:33:34 +00:00
2019-02-27 11:03:25 +01:00