summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdeheader4
1 files changed, 2 insertions, 2 deletions
diff --git a/deheader b/deheader
index 4167432..65ea4a7 100755
--- a/deheader
+++ b/deheader
@@ -126,8 +126,8 @@ if __name__ == "__main__":
print >>sys.stderr, "deheader: can't analyze %s" % sourcefile
continue
if unneeded:
- print "deheader: the following headers may be omitted from %s:" % sourcefile
- print "\n".join(map(trim, unneeded))
+ for line in unneeded:
+ print "deheader: remove %s from %s" % (trim(line), sourcefile)
if remove:
os.rename(sourcefile, original)
for header in includes: