summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdeheader4
1 files changed, 2 insertions, 2 deletions
diff --git a/deheader b/deheader
index da52485..18738e9 100755
--- a/deheader
+++ b/deheader
@@ -139,7 +139,7 @@ class InclusionMap:
print "deheader: %s has requires %s from %s" % (sourcefile, h, r.pattern)
requires.append(h)
self.depends_on[sourcefile] = includes
- self.requires[sourcefile] = re.compile("|".join(requires))
+ self.requires[sourcefile] = requires
# Duplicate-header detection
trimmedcount = {}
for ref in map(trim, includes):
@@ -231,7 +231,7 @@ def c_analyze(sourcefile, maker, includes, requires, verbosity):
baton.twirl()
#if requires.pattern:
# print "%s: checking %s against %s" % (sourcefile, `header`, `requires.pattern`)
- if requires.pattern and requires.search(header):
+ if requires and re.compile("|".join(requires)).search(header):
if verbosity >= PROGRESS_DEBUG:
print "deheader: in %s, retaining required %s" % (sourcefile, `header`,)
continue