Fix verilator_difftree header flush

This commit is contained in:
Wilson Snyder 2023-02-05 15:20:56 -05:00
parent 2c64b83c19
commit 807e5b22a0

View File

@ -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: