diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2008-11-06 20:14:43 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2008-11-06 20:14:43 +0000 |
commit | 96b936882601287ed63daf4cfabfff96e1046a59 (patch) | |
tree | 1d3679b24ae66bef2a53e01903ee28b581242510 | |
parent | 51fa42fd9de57324e80e17dca884b257cba2cc1a (diff) | |
download | deheader-96b936882601287ed63daf4cfabfff96e1046a59.tar.gz deheader-96b936882601287ed63daf4cfabfff96e1046a59.tar.bz2 deheader-96b936882601287ed63daf4cfabfff96e1046a59.tar.xz deheader-96b936882601287ed63daf4cfabfff96e1046a59.zip |
Change reporting format to be more stream-oriented.
-rwxr-xr-x | deheader | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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: |