1
Fork 0

keep the same config values in stage0 between invocations

This commit allows users to change the contents of the "config" key in
src/stage0.json without having it overridden the next time the
bump-stage0 tool is executed.
This commit is contained in:
Pietro Albini 2022-06-07 12:17:11 +02:00
parent a0411e2bfe
commit c1a0f49e9f
No known key found for this signature in database
GPG key ID: CD76B35F7734769E
3 changed files with 31 additions and 20 deletions

View file

@ -1043,7 +1043,7 @@ def bootstrap(help_triggered):
build.checksums_sha256 = data["checksums_sha256"]
build.stage0_compiler = Stage0Toolchain(data["compiler"])
build.set_dist_environment(data["dist_server"])
build.set_dist_environment(data["config"]["dist_server"])
build.build = args.build or build.build_triple()