diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2016-02-23 14:49:42 +0000 |
|---|---|---|
| committer | Richard Henderson <rth@twiddle.net> | 2016-02-23 08:30:59 -0800 |
| commit | f8e1f5d6a2724cd72a296d693f808e534a0a3980 (patch) | |
| tree | cb737476f7a02890e23e37dcb6f6f1e3f7df6c21 /scripts | |
| parent | ce151109813e2770fd3cee2f37bfa2cdd01a12b9 (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>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/clean-includes | 5 |
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 ;; |