From 17462cbe5a0643bb1186924931f3b807d41b33a1 Mon Sep 17 00:00:00 2001 From: Nicholas Hastings Date: Sat, 21 Oct 2023 14:18:01 -0500 Subject: [PATCH] Fix build using wrong dir in bootstrapping --- tools/buildbot/bootstrap.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/buildbot/bootstrap.py b/tools/buildbot/bootstrap.py index 7cf53653..a6229124 100644 --- a/tools/buildbot/bootstrap.py +++ b/tools/buildbot/bootstrap.py @@ -92,7 +92,8 @@ def main(): shutil.rmtree('OUTPUT') if not os.path.isdir('OUTPUT'): os.makedirs('OUTPUT') - run_shell(config_argv, env = build_env) + with Chdir('OUTPUT'): + run_shell(config_argv, env = build_env) if __name__ == '__main__': main()