tree cea356c5613812411f8fe3832a43e0bed9eb30b3
parent ffaef81586c3041b46dc77b9d5c0ef24925e47f6
author Gilles Peskine <Gilles.Peskine@arm.com> 1589123886 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1590683205 +0200

Check only files checked into Git

We're only interested in files that are committed and pushed to be
included in Mbed TLS, not in any other files that may be lying around.
So ask git for the list of file names.

This script is primarily intended to run on the CI, and there it runs
on a fresh Git checkout plus potentially some other checkouts or
leftovers from a previous part of the CI job. It should also run
reasonably well on developer machines, where there may be various
additional files. In both cases, git is available.

Ad hoc directory exclusions are no longer needed.

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