osxdist.py: only rmtree if path exists.

This commit is contained in:
Mikkel Krautz 2012-09-16 21:38:23 +02:00
parent b86c3b7743
commit 98cacbc28f

View File

@ -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'))