diff options
| -rwxr-xr-x | remote_gcc_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remote_gcc_build.py b/remote_gcc_build.py index 1b367a74..a17fb701 100755 --- a/remote_gcc_build.py +++ b/remote_gcc_build.py @@ -119,7 +119,7 @@ def FindBuildIdFromLog(description): build_id = int(my_dict["number"]) if result == 0: return (result, build_id) - else + else: # Found a finished failed build. # Keep searching to find a successful one pass |