summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdeheader5
1 files changed, 4 insertions, 1 deletions
diff --git a/deheader b/deheader
index a52e401..934b382 100755
--- a/deheader
+++ b/deheader
@@ -1172,7 +1172,10 @@ class InclusionMap:
dirs = filter(lambda x: not x.startswith("."), dirs)
for name in files:
path = os.path.join(root, name)
- if InclusionMap.c_source(path):
+ if excludes and excludes.search(path):
+ if verbose > 1:
+ print "deheader: %s excluded" % root
+ elif InclusionMap.c_source(path):
self.files.append(path)
self.depends_on = {}
self.requires = {}