summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2008-11-08 13:54:15 +0000
committerEric S. Raymond <esr@thyrsus.com>2008-11-08 13:54:15 +0000
commit62ddc13fe89535f7816d17fe9fec1aa17100957e (patch)
tree18301b1e4e6d7dade53980a338bacc4c6a2764b7
parentd937a77abc7445a834faf45834c3bf32837074c8 (diff)
downloaddeheader-62ddc13fe89535f7816d17fe9fec1aa17100957e.tar.gz
deheader-62ddc13fe89535f7816d17fe9fec1aa17100957e.tar.bz2
deheader-62ddc13fe89535f7816d17fe9fec1aa17100957e.tar.xz
deheader-62ddc13fe89535f7816d17fe9fec1aa17100957e.zip
Remove unneeded code.
-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):