From 98cacbc28fa98e36eb6eba60b3cf40c36d76a05c Mon Sep 17 00:00:00 2001 From: Mikkel Krautz Date: Sun, 16 Sep 2012 21:38:23 +0200 Subject: [PATCH] osxdist.py: only rmtree if path exists. --- macx/scripts/osxdist.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/macx/scripts/osxdist.py b/macx/scripts/osxdist.py index 545f17668..4076b2d09 100755 --- a/macx/scripts/osxdist.py +++ b/macx/scripts/osxdist.py @@ -329,7 +329,8 @@ def package_server(): os.system('cd scripts && sh mkini.sh') destdir = os.path.join('release', name) - shutil.rmtree(destdir) + if os.path.exists(destdir): + shutil.rmtree(destdir) os.mkdir(destdir) shutil.copy('installer/gpl.txt', os.path.join(destdir, 'LICENSE'))