diff options
| author | Mikkel Krautz <mikkel@krautz.dk> | 2012-09-16 23:38:23 +0400 |
|---|---|---|
| committer | Mikkel Krautz <mikkel@krautz.dk> | 2012-09-16 23:38:23 +0400 |
| commit | 98cacbc28fa98e36eb6eba60b3cf40c36d76a05c (patch) | |
| tree | 992f39af1825638964921efa856eef13f94abea2 /macx | |
| parent | b86c3b7743c5c0bc6ac254de1a54689872d8c699 (diff) | |
osxdist.py: only rmtree if path exists.
Diffstat (limited to 'macx')
| -rwxr-xr-x | macx/scripts/osxdist.py | 3 |
1 files changed, 2 insertions, 1 deletions
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')) |