From 30190c2c19cad84598dd7056eccd8202beac9e2d Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Fri, 21 Apr 2023 17:32:48 +0200 Subject: 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. --- bin/bootstrap.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'bin/bootstrap.py') 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: -- cgit v1.2.3