diff options
-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: |