djsundog
/
circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

allow any character except / in port or board name

This commit is contained in:
microDev 2021-10-22 20:00:02 +05:30
parent 65ffcf1465
commit 6c94234b72
No known key found for this signature in database
GPG Key ID: 2C0867BE60967730
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/ci_set_matrix.py
View File

@ -62,8 +62,8 @@ def set_boards_to_build(build_all):
if not build_all:
boards_to_build = set()
board_pattern = re.compile(r"^ports\/\w+\/boards\/(\w+)\/")
port_pattern = re.compile(r"^ports\/(\w+)\/")
board_pattern = re.compile(r"^ports\/[^/]+\/boards\/([^/]+)\/")
port_pattern = re.compile(r"^ports\/([^/]+)\/")
for p in changed_files:
# See if it is board specific
board_matches = board_pattern.search(p)