diff --git a/configure.py b/configure.py index 9a6e7095..13cf0910 100755 --- a/configure.py +++ b/configure.py @@ -47,6 +47,7 @@ def main() -> None: "bootstrap", "platform", "system", + "external", ] )