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

Merge pull request #5636 from dhalbert/fix-circuitpython-org-pr

Browse Source 
Fix ci_fetch_deps.py for website PR generation
This commit is contained in:
Scott Shawcroft 2021-12-01 10:10:09 -08:00 committed by GitHub
commit b83e09858f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tools/ci_fetch_deps.py
View File

@ -72,12 +72,15 @@ elif target == "mpy-cross-mac":
elif target == "windows": elif target == "windows":
# This builds one board from a number of ports so fill out a bunch of submodules # This builds one board from a number of ports so fill out a bunch of submodules
submodules = ["extmod/", "lib/", "tools/", "ports/", "data/nvm.toml/"] submodules = ["extmod/", "lib/", "tools/", "ports/", "data/nvm.toml/"]
elif target == "website":
# No submodules needed.
pass
else: else:
p = pathlib.Path(".").glob(f"ports/*/boards/{target}/mpconfigboard.mk") p = list(pathlib.Path(".").glob(f"ports/*/boards/{target}/mpconfigboard.mk"))
if not p: if not p:
raise RuntimeError(f"Unsupported target: {target}") raise RuntimeError(f"Unsupported target: {target}")
config = list(p)[0] config = p[0]
# Add the ports folder to init submodules # Add the ports folder to init submodules
port_folder = config.parents[2] port_folder = config.parents[2]
port = port_folder.name port = port_folder.name