From 010d9b8f8072c311015e35af49c57d10401f5c0c Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Thu, 4 Sep 2003 17:34:11 +0000 Subject: [PATCH] Explain some failures to merge. --- filterator | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/filterator b/filterator index e8318d1..b99a1d4 100755 --- a/filterator +++ b/filterator @@ -119,7 +119,7 @@ if __name__ == '__main__': rfp.close() if nofilter or nontrivial(text): count += 1 - print "%% %s:%s-%s:" % (file, start, end) + print "%% %s:%s-%s: (%d matches)" % (file, start, end, len(locations)) sys.stdout.write(text) #print `nontrivial(text)` locations = [] -- 2.43.0