From 536ef4f5f54683d917363acb0e6455ffa2bdab71 Mon Sep 17 00:00:00 2001 From: rdb Date: Sat, 24 Oct 2009 10:53:58 +0000 Subject: [PATCH] Remove pkg 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 84fb1849aa..5b40d807c5 100755 --- a/direct/src/plugin_installer/make_installer.py +++ b/direct/src/plugin_installer/make_installer.py @@ -237,6 +237,8 @@ def makeInstaller(): tmproot = Filename("/var/tmp/Panda3D Runtime/") if tmproot.exists(): shutil.rmtree(tmproot.toOsSpecific()) + if os.path.exists("p3d-setup.pkg"): + os.remove("p3d-setup.pkg") tmproot.makeDir() dst_npapi = Filename(tmproot, Filename("Library/Internet Plug-Ins", npapi)) dst_panda3d = Filename(tmproot, Filename("Applications", panda3d))