diff options
| author | Oliver Reiche <oliver.reiche@gmail.com> | 2023-04-21 17:32:48 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-04-27 14:23:10 +0200 |
| commit | 30190c2c19cad84598dd7056eccd8202beac9e2d (patch) | |
| tree | 75687045ef1e79375cedd6864e3e9cb57c359d74 /bin/bootstrap.py | |
| parent | 81af78b4e96f278746db6fbe33db4712e326ab5e (diff) | |
| download | justbuild-30190c2c19cad84598dd7056eccd8202beac9e2d.tar.gz | |
bootstrap: Write build config to working directory
... so in can be used (in combination with the repository
config) to build other just targets, such as just-mr.
Diffstat (limited to 'bin/bootstrap.py')
| -rwxr-xr-x | bin/bootstrap.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 73c9dd00..17cd105d 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -333,6 +333,8 @@ def bootstrap(): print("Bootstrapping in %r from sources %r, taking files from %r" % (WRKDIR, SRCDIR, DISTDIR)) os.makedirs(WRKDIR, exist_ok=True) + with open(os.path.join(WRKDIR, "build-conf.json"), 'w') as f: + json.dump(CONF, f, indent=2) src_wrkdir = os.path.join(WRKDIR, "src") shutil.copytree(SRCDIR, src_wrkdir) if LOCAL_DEPS: |