From dcc0953b2e0e21e7213148c9a461341753201565 Mon Sep 17 00:00:00 2001 From: Cameron Clough Date: Thu, 24 Apr 2025 15:01:23 +0100 Subject: [PATCH] fix? --- system/manager/build.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/system/manager/build.py b/system/manager/build.py index 461a48e507..21eff2fecc 100755 --- a/system/manager/build.py +++ b/system/manager/build.py @@ -88,7 +88,7 @@ def build(spinner: Spinner, dirty: bool = False, minimal: bool = False) -> None: if __name__ == "__main__": - spinner = Spinner() - spinner.update_progress(0, 100) - build_metadata = get_build_metadata() - build(spinner, build_metadata.openpilot.is_dirty, minimal = AGNOS) + with Spinner() as spinner: + spinner.update_progress(0, 100) + build_metadata = get_build_metadata() + build(spinner, build_metadata.openpilot.is_dirty, minimal = AGNOS)