From b87b855eff1e9574e2430afcaee7864d11fd4c01 Mon Sep 17 00:00:00 2001 From: rdb Date: Sat, 24 Oct 2009 10:06:27 +0000 Subject: [PATCH] Remove dmg if it already exists --- direct/src/plugin_installer/make_installer.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/direct/src/plugin_installer/make_installer.py b/direct/src/plugin_installer/make_installer.py index 52a998ebc8..84fb1849aa 100755 --- a/direct/src/plugin_installer/make_installer.py +++ b/direct/src/plugin_installer/make_installer.py @@ -269,6 +269,8 @@ def makeInstaller(): shutil.rmtree(tmproot.toOsSpecific()) # Compress the .dmg (and make it read-only) + if os.path.exists("p3d-setup.dmg"): + os.remove("p3d-setup.dmg") CMD = 'hdiutil convert "%s" -format UDBZ -o "p3d-setup.dmg"' % tmpdmg print "" print CMD