diff --git a/tools/ci_fetch_deps.py b/tools/ci_fetch_deps.py index 8e450e7b57..b85d199b7c 100644 --- a/tools/ci_fetch_deps.py +++ b/tools/ci_fetch_deps.py @@ -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: