diff options
-rwxr-xr-x | deheader | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 = {} |