tree 03bb0f339dd651daf4450c60d8e0885d05803e0c
parent 29b7b9585ba7ede55b1aef8b7a24d63d91251484
author Gilles Peskine <Gilles.Peskine@arm.com> 1585083688 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586183938 +0200

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>