diff options
| author | Ha Thach <[email protected]> | 2026-04-16 10:18:54 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-04-16 10:18:54 +0700 |
| commit | 81641e35c67ea8197397d1d03c666e94db6fdaec (patch) | |
| tree | 052b672ede4a84983b374b8a8c9534b17edf5939 /test | |
| parent | 3cfe7a0ed1c8c0ca7b1ad747cfce502a5312bf1c (diff) | |
| parent | e7642cf753b67bcfee21983e2caa292c2722ba4c (diff) | |
Merge pull request #3598 from hathach/worktree-rp2040-freertos
Add FreeRTOS support for RP2040/RP2350
Diffstat (limited to 'test')
| -rwxr-xr-x | test/hil/hil_test.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/hil/hil_test.py b/test/hil/hil_test.py index f23e2fc22..d50a60894 100755 --- a/test/hil/hil_test.py +++ b/test/hil/hil_test.py @@ -102,6 +102,8 @@ def get_serial_dev(id, vendor_str, product_str, ifnum): # just use id: mostly for cp210x/ftdi flasher pattern = f'/dev/serial/by-id/usb-*_{id}-if*' port_list = glob.glob(pattern) + if len(port_list) == 0: + raise RuntimeError(f'No serial device found for {pattern}') return port_list[0] |