2017-01-15 | Paul Boddie | raw files shortlog changelog graph | Remove effectively duplicate references from the cached output. Such references are not employed elsewhere after being read from the cached data, and the original references employed elsewhere will have been updated in the cached data to feature non-deferred details. Thus, duplicate references are superfluous. | |
modules.py (file) |
1.1 --- a/modules.py Thu Jan 12 23:50:26 2017 +0100 1.2 +++ b/modules.py Sun Jan 15 16:18:03 2017 +0100 1.3 @@ -803,7 +803,9 @@ 1.4 1.5 print >>f 1.6 print >>f, "deferred:" 1.7 - print >>f, " ".join(map(str, self.deferred)) 1.8 + deferred = map(str, set(self.deferred)) 1.9 + deferred.sort() 1.10 + print >>f, " ".join(deferred) 1.11 1.12 print >>f 1.13 print >>f, "special:"