Skip to content

Commit 983771b

Browse files
committed
Skip id check for renode builds
1 parent 442def3 commit 983771b

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

tools/ci_check_duplicate_usb_vid_pid.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -109,6 +109,10 @@ def check_vid_pid(files, clusterlist):
109109
creation = CREATION_PATTERN.search(src_text)
110110
non_usb = usb_pattern.search(src_text)
111111
board_name = board_config.parts[-2]
112+
port_name = board_config.parts[-4]
113+
114+
if port_name == "renode":
115+
continue
112116

113117
if usb_vid and usb_pid:
114118
id_group = f"0x{int(usb_vid.group(1), 16):04X}:0x{int(usb_pid.group(1), 16):04X}"

0 commit comments

Comments
 (0)