* tools/dist/release.py
(clean_dist): Gracefully handle the case that there's nothing to do.
Previously, svnmucc would be invoked and print its usage message.
@@ -707,7 +707,10 @@ def clean_dist(args):
svnmucc_cmd += ['rm', dist_release_url + '/' + filename]
# don't redirect stdout/stderr since svnmucc might ask for a password
+ if 'rm' in svnmucc_cmd:
subprocess.check_call(svnmucc_cmd)
+ else:
+ logging.info("Nothing to remove")
#----------------------------------------------------------------------
# Move to dist
