From 807e5b22a0a4734613fbe178631f0e23a19f738a Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 5 Feb 2023 15:20:56 -0500
Subject: [PATCH] Fix verilator_difftree header flush

---
 bin/verilator_difftree | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/verilator_difftree b/bin/verilator_difftree
index f298bcf07..63112a592 100755
--- a/bin/verilator_difftree
+++ b/bin/verilator_difftree
@@ -42,8 +42,8 @@ def diff_dir(a, b):
             continue
         a = files[base]['a']
         b = files[base]['b']
-        print("=" * 70)
-        print("= %s <-> %s" % (a, b))
+        print("=" * 70, flush=True)
+        print("= %s <-> %s" % (a, b), flush=True)
         diff_file(a, b)
         anyfile = True
     if not anyfile: