aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbibisect_build.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/bibisect_build.py b/bibisect_build.py
index 5567a90..ee98cda 100755
--- a/bibisect_build.py
+++ b/bibisect_build.py
@@ -224,6 +224,7 @@ if __name__ == "__main__":
i = 0
fail_count = 0
+ make_clean = True
for commit in commits_to_be_built:
i += 1
commit_date, commit_time, commit_zone, commit_hash, commit_msg = commit
@@ -260,7 +261,7 @@ if __name__ == "__main__":
raise Exception(f"Error when checking out {commit_hash}")
# Build
- if i == 1:
+ if make_clean:
run_process("./autogen.sh", log=log)
try:
run_process("make build-nocheck", log=log)
@@ -296,6 +297,7 @@ if __name__ == "__main__":
# build successfull, reset fail_count.
fail_count = 0
+ make_clean = False
# Copy log file to target.
log.close()