From d3b63b2653d347f2a378c46d2fc0c765fc19c19d Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 22 Jan 2022 19:44:40 -0500 Subject: [PATCH] Fix error if file not found --- bin/verilator_difftree | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/verilator_difftree b/bin/verilator_difftree index ac19d0fec..3e8315691 100755 --- a/bin/verilator_difftree +++ b/bin/verilator_difftree @@ -38,10 +38,10 @@ def diff_dir(a, b): anyfile = False for base in sorted(files.keys()): + if (not 'a' in files[base]) or (not 'b' in files[base]): + continue a = files[base]['a'] b = files[base]['b'] - if not a or not b: - continue print("=" * 70) print("= %s <-> %s" % (a, b)) diff_file(a, b)