From 6fd8c82c572cd5f12eae30e8611f120789908e9e Mon Sep 17 00:00:00 2001 From: David Anderson Date: Thu, 12 Oct 2023 21:40:47 -0700 Subject: [PATCH] Fix Windows build. --- support/buildbot/bootstrap.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/buildbot/bootstrap.py b/support/buildbot/bootstrap.py index a2944b3..c5b6d83 100644 --- a/support/buildbot/bootstrap.py +++ b/support/buildbot/bootstrap.py @@ -60,7 +60,7 @@ def main(): with open(os.path.join('support', 'buildbot', 'buildconfig.json'), 'rt') as fp: config_root = json.load(fp) - config = config_root[args.config] + config = config_root.get(args.config, {}) # Set build properties. build_env = os.environ.copy()