From ef131bcdc339899a2f4803bbf7db61d91f9f8cb0 Mon Sep 17 00:00:00 2001 From: Kevin Suo Date: Mon, 2 Mar 2020 00:16:46 +0800 Subject: Really do make clean for the first build take into consideratoin of the ingored commits. --- bibisect_build.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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() -- cgit