hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix exit code when ripunzip isn't called.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2024-07-31 08:09:53 +02:00
parent fa6d61809e
commit 1ce15ae2fd
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
misc/bazel/internal/install.py
View File

@@ -85,9 +85,11 @@ def rmdir(dir: pathlib.Path):
if destdir.exists() and opts.cleanup: if destdir.exists() and opts.cleanup:
rmdir(destdir) rmdir(destdir)
class RetryException(Exception): class RetryException(Exception):
pass pass
attempts = 0 attempts = 0
success = False success = False
while attempts < 3 and not success: 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...") print(f"Failed to unzip {zip} to {dest}, retrying installation...")
rmdir(destdir) rmdir(destdir)
break break
if not success:
sys.exit(ret.returncode) sys.exit(1)