From a6c9cf5536aa1b311eb10e8a9fa28ca94b8887cf Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 23 Aug 2019 10:26:25 +0200
Subject: [PATCH] [dav] Enable DAV deletion from beta clean-up
---
bob/devtools/dav.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/bob/devtools/dav.py b/bob/devtools/dav.py
index b659bd3c..55624b64 100644
--- a/bob/devtools/dav.py
+++ b/bob/devtools/dav.py
@@ -165,5 +165,4 @@ def remove_old_beta_packages(client, path, dry_run, pyver=True, includes=None):
else:
echo_warning("rm %s (time=%u)" % (target, mtime))
if not dry_run:
- #client.clean(target)
- echo_info("boooom")
+ client.clean(target)
--
GitLab