Ignore files which have a .inc.c extension -- these are not headers but they are not standalone C source files either, so we can't make any automated decisions about what #include directives they should have.
Signed-off-by: Peter Maydell <peter.mayd...@linaro.org> --- scripts/clean-includes | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/clean-includes b/scripts/clean-includes index 8a3f398..177d253 100755 --- a/scripts/clean-includes +++ b/scripts/clean-includes @@ -94,6 +94,11 @@ EOT for f in "$@"; do case "$f" in + *.inc.c) + # These aren't standalone C source files + echo "SKIPPING $f (not a standalone source file)" + continue + ;; *.c) MODE=c ;; -- 1.9.1