summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscript/autobuild.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/script/autobuild.py b/script/autobuild.py
index 3fae59f255..357cb16b5b 100755
--- a/script/autobuild.py
+++ b/script/autobuild.py
@@ -278,7 +278,6 @@ def write_pidfile(fname):
f = open(fname, mode='w')
f.write("%u\n" % os.getpid())
f.close()
- cleanup_list.append(fname)
def rebase_tree(url):
@@ -473,6 +472,8 @@ while True:
cleanup()
raise
+cleanup_list.append(gitroot + "/autobuild.pid")
+
blist.kill_kids()
if options.tail:
print("waiting for tail to flush")