diff options
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 d2dd7ae..a1faa60 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 ;; |