summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdeheader12
1 files changed, 2 insertions, 10 deletions
diff --git a/deheader b/deheader
index 623dd11..9c3d4c6 100755
--- a/deheader
+++ b/deheader
@@ -100,19 +100,11 @@ class InclusionMap:
elif verbose:
print "deheader: ignoring %s (conditional inclusion)" % name
self.c_to_h[sourcefile] = includes
- def delete(self, original, altered, includes):
- "Delete specified headers from a sourcefile,"
- for header in includes:
- ofp = open(altered, "w")
- for line in open(original):
- if line != header:
- ofp.write(line)
- ofp.close()
def forget(self, sourcefile, header):
"Forget a header dependency."
- self.c_to_h[altered].remove(header)
+ self.c_to_h[sourcefile].remove(header)
def remember(self, sourcefile, include):
- "Undo forgetting of a dependency from the map."
+ "Undo forgetting of a dependency."
self.c_to_h[sourcefile].append(header)
def sourcefiles(roots):