summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2008-11-06 20:14:43 +0000
committerEric S. Raymond <esr@thyrsus.com>2008-11-06 20:14:43 +0000
commit96b936882601287ed63daf4cfabfff96e1046a59 (patch)
tree1d3679b24ae66bef2a53e01903ee28b581242510
parent51fa42fd9de57324e80e17dca884b257cba2cc1a (diff)
downloaddeheader-96b936882601287ed63daf4cfabfff96e1046a59.tar.gz
deheader-96b936882601287ed63daf4cfabfff96e1046a59.tar.bz2
deheader-96b936882601287ed63daf4cfabfff96e1046a59.tar.xz
deheader-96b936882601287ed63daf4cfabfff96e1046a59.zip
Change reporting format to be more stream-oriented.
-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: