diff --git a/bob/devtools/dav.py b/bob/devtools/dav.py index b659bd3c7e666d4bde9f643543a74f0976303e29..55624b6427c35857e5a85b61095bee93fde37f52 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)