Merge pull request #4104

68aa01e Fixes error (Ian Carroll)
This commit is contained in:
Wladimir J. van der Laan 2014-07-30 11:45:34 +02:00
commit 1de2992e07
No known key found for this signature in database
GPG Key ID: 74810B012346C9A6

View File

@ -17,7 +17,7 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>.
#
import subprocess, sys, re, os, shutil, stat, os.path
import subprocess, sys, re, os, shutil, stat, os.path, time
from string import Template
from argparse import ArgumentParser
@ -804,6 +804,7 @@ if config.dmg is not None:
if verbose >= 2:
print "+ Finalizing .dmg disk image +"
time.sleep(5)
try:
runHDIUtil("convert", dmg_name + ".temp", format="UDBZ", o=dmg_name + ".dmg", ov=True)