From 1ce15ae2fdc1c7a045e29e44529c315725b0ec7e Mon Sep 17 00:00:00 2001
From: Cornelius Riemenschneider <cornelius@github.com>
Date: Wed, 31 Jul 2024 08:09:53 +0200
Subject: [PATCH] Fix exit code when ripunzip isn't called.

---
 misc/bazel/internal/install.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/misc/bazel/internal/install.py b/misc/bazel/internal/install.py
index 25be722cd6d..c094ebfb82f 100644
--- a/misc/bazel/internal/install.py
+++ b/misc/bazel/internal/install.py
@@ -85,9 +85,11 @@ def rmdir(dir: pathlib.Path):
 if destdir.exists() and opts.cleanup:
     rmdir(destdir)
 
+
 class RetryException(Exception):
     pass
 
+
 attempts = 0
 success = False
 while attempts < 3 and not success:
@@ -114,5 +116,5 @@ while attempts < 3 and not success:
                     print(f"Failed to unzip {zip} to {dest}, retrying installation...")
                     rmdir(destdir)
                     break
-
-sys.exit(ret.returncode)
+if not success:
+    sys.exit(1)