verilator_difftree: Better error.

2026-10-06 01:54:01 +02:00 · 2018-03-11 16:49:40 -04:00
parent 57c7d77af3
commit 4cf2e4024f
1 changed files with 2 additions and 1 deletions
@@ -85,7 +85,8 @@ sub diff_dir {
 	diff_file($a,$b);
 	$any = 1;
    }
-    $any or warn "%Warning: No .tree files found\n";
+    $any or warn ("%Warning: No .tree files found that have similar base names:\n    "
+                  .join("\n    ", sort keys %files),"\n");
 }

 sub diff_file {