aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Maydell <peter.maydell@linaro.org>2016-02-23 14:49:42 +0000
committerRichard Henderson <rth@twiddle.net>2016-02-23 08:30:59 -0800
commitf8e1f5d6a2724cd72a296d693f808e534a0a3980 (patch)
treecb737476f7a02890e23e37dcb6f6f1e3f7df6c21
parentce151109813e2770fd3cee2f37bfa2cdd01a12b9 (diff)
scripts/clean-includes: Ignore .inc.c files
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. Reviewed-by: Eric Blake <eblake@redhat.com> Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Message-Id: <1456238983-10160-3-git-send-email-peter.maydell@linaro.org> Signed-off-by: Richard Henderson <rth@twiddle.net>
-rwxr-xr-xscripts/clean-includes5
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/clean-includes b/scripts/clean-includes
index d2dd7ae3ce..a1faa60710 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
;;