diff options
-rwxr-xr-x | deheader | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1431,7 +1431,7 @@ def deheader(sourcefile, maker, includes, requires, remove, verbose): includes[:], requires, verbose) if unneeded: for line in unneeded: - print "deheader: remove %s from %s" % (trim(line), sourcefile) # XXX + print "deheader: remove %s from %s" % (trim(line), sourcefile) if remove: remove_it = SaveForModification(sourcefile) remove_it.remove_headers(unneeded) |