diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-06-13 12:18:40 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-06-13 12:19:02 +0200 |
| commit | 551a068668cd08ae5025aa05eacd6eb934ca9c4b (patch) | |
| tree | 62be0c846c18958b2dfddf1323563e3a9d1c106b | |
| parent | dd9bf844096000eb0713918b3545997df814893c (diff) | |
| download | justbuild-551a068668cd08ae5025aa05eacd6eb934ca9c4b.tar.gz | |
bootstrap: use etc/repos.in.json
... as repository configuration. We know that everything imported is
not needed for the bootstrap process. Hence, by taking the description
before import, we can avoid fetching unnecessary archives.
| -rwxr-xr-x | bin/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 6f7233a9..2a8c19c2 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -35,7 +35,7 @@ Json = Dict[str, Any] DEBUG = os.environ.get("DEBUG") -REPOS: str = "etc/repos.json" +REPOS: str = "etc/repos.in.json" MAIN_MODULE: str = "" MAIN_TARGET: str = "" MAIN_STAGE: str = "bin/just" |