merge

1 files changed, 8 insertions, 2 deletions

diff --git a/util/rundiff b/util/rundiff
index cd2527e54..7e0a77057 100755
--- a/util/rundiff
+++ b/util/rundiff
@@ -166,7 +166,11 @@ sub printdiff
     # Set $postcontext to print the next $postcontext_lines matching lines.
     $postcontext = $postcontext_lines;
 
-    STDOUT->flush();
+    # Normally we flush after the postcontext lines are printed, but if
+    # the user has decreed that there aren't any we need to flush now
+    if ($postcontext == 0) {
+        STDOUT->flush();
+    }
 }
 
 
@@ -291,10 +295,12 @@ while (1) {
 	# figure out what to do with this line
 	if ($postcontext > 0) {
 	    # we're in the post-context of a diff: print it
-	    $postcontext--;
 	    print ' ', $l1;
 	    $lineno1++;
 	    $lineno2++;
+            if (--$postcontext == 0) {
+                STDOUT->flush();
+            }
 	}
 	else {
 	    # we're in the middle of a matching region... save this