tree ed6c67f7f2f7e178f206829a6cff5a9af60312e6
parent 8266b5b0b4e6e327c0638c4715194a14ec837668
author Gilles Peskine <Gilles.Peskine@arm.com> 1632763217 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1632765684 +0200

More robust handling of excluded files

Don't try to enumerate excluded files. List included files, and remove names
from the list if they match an excluded-file pattern.

This resolves the problem that the script could get into an infinite loop
due to the use of recursive globbing. Unfortunately, Python's recursive
globs follows symbolic links to directories, which leads to an infinite loop
if a symbolic link points to an ancestor of the directory that contains it.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>