aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKevin Suo <suokunlong@126.com>2020-03-02 00:16:46 +0800
committerKevin Suo <suokunlong@126.com>2020-03-02 00:16:46 +0800
commitef131bcdc339899a2f4803bbf7db61d91f9f8cb0 (patch)
tree6a751b7f9808dc96ed4bbf7e382d5a83094e06f7
parentb0ee50aa5a9d2f0de4704227eb191ced993a27b4 (diff)
Really do make clean for the first build HEADmaster
take into consideratoin of the ingored commits.
-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()