summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xgen-patch-info.py4
1 files changed, 0 insertions, 4 deletions
diff --git a/gen-patch-info.py b/gen-patch-info.py
index 17b2a2a..0c2e768 100755
--- a/gen-patch-info.py
+++ b/gen-patch-info.py
@@ -59,7 +59,3 @@ if __name__ == '__main__':
pts_fh = gzip.GzipFile(Conf.pts_index_file, mode="wb")
simplejson.dump(pts_idx, pts_fh)
pts_fh.close()
-
- db.prune()
- db.unmark()
- db.finalize()