make_dist.py: clean up old dist

b19ad356 · Denis Bilenko · 1ecc85d9 · b19ad356
Commit b19ad356 authored Jan 10, 2012 by Denis Bilenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

util/make_dist.py util/make_dist.py +2 -0

No files found.
--- a/util/make_dist.py
+++ b/util/make_dist.py
@@ -47,6 +47,8 @@ def main():

    system(set_version_command)
    system('hg diff')
+    if options.rsync:
+        system('rm -fr dist')
    system('python setup.py sdist')

    website_dir = os.path.join(os.path.dirname(basedir), 'gevent-website')