1 files changed, 21 insertions, 8 deletions
diff --git a/util/make_release.py b/util/make_release.py
index d1161166d..47b6678fe 100755
--- a/util/make_release.py
+++ b/util/make_release.py
@@ -80,18 +80,31 @@ if len(sys.argv) != 3:
 
 destdir = sys.argv[1]
 releasename = sys.argv[2]
+release_dest = joinpath(destdir, 'release')
+encumbered_dest = joinpath(destdir, 'encumbered')
+release_dir = joinpath(release_dest, releasename)
+encumbered_dir = joinpath(encumbered_dest, releasename)
 
 if exists(destdir):
     if not isdir(destdir):
         raise AttributeError, '%s exists, but is not a directory' % destdir
-    rmtree(destdir)
-
-release_dir = joinpath(destdir, 'release', releasename)
-encumbered_dir = joinpath(destdir, 'encumbered', releasename)
-
-mkdir(destdir)
-mkdir(destdir, 'release')
-mkdir(destdir, 'encumbered')
+else:
+    mkdir(destdir)
+
+if exists(release_dest):
+    if not isdir(release_dest):
+        raise AttributeError, \
+              '%s exists, but is not a directory' % release_dest
+    rmtree(release_dest)
+
+if exists(encumbered_dest):
+    if not isdir(encumbered_dest):
+        raise AttributeError, \
+              '%s exists, but is not a directory' % encumbered_dest
+    rmtree(encumbered_dest)
+
+mkdir(release_dest)
+mkdir(encumbered_dest)
 mkdir(release_dir)
 mkdir(encumbered_dir)