mirror of
https://github.com/verilator/verilator.git
synced 2026-10-02 16:13:34 +02:00
CI: Fix log_changes including duplicate bug numbers
This commit is contained in:
+4
-2
@@ -89,8 +89,10 @@ def process() -> None:
|
||||
line,
|
||||
flags=re.IGNORECASE)
|
||||
if m:
|
||||
# print("K %s" % line)
|
||||
msgs[key] += ' (#' + m.group(2) + ')'
|
||||
mid = m.group(2)
|
||||
if ("#" + mid) not in msgs[key]:
|
||||
# print("K %s" % line)
|
||||
msgs[key] += ' (#' + mid + ')'
|
||||
|
||||
if not msgs:
|
||||
print("No Changes need to be inserted.")
|
||||
|
||||
Reference in New Issue
Block a user