Fetch tools/adabot submodule for website build

It's used by build_board_info.py
This commit is contained in:
Scott Shawcroft 2021-12-10 10:20:36 -08:00 committed by GitHub
parent b50443240f
commit 74fa2e9edd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions

View File

@ -73,8 +73,7 @@ elif target == "windows":
# This builds one board from a number of ports so fill out a bunch of submodules
submodules = ["extmod/", "lib/", "tools/", "ports/", "data/nvm.toml/"]
elif target == "website":
# No submodules needed.
pass
submodules = ["tools/adabot/"]
else:
p = list(pathlib.Path(".").glob(f"ports/*/boards/{target}/mpconfigboard.mk"))
if not p: