From 2fd497d380de998c4b22b9f7167eb4023e4cd576 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 13 Nov 2015 14:21:01 +0100
Subject: MacOS package script: do not fail if directory _dmg already exists.

---
 dev/make-macos-dmg.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/make-macos-dmg.sh')

diff --git a/dev/make-macos-dmg.sh b/dev/make-macos-dmg.sh
index 8f6a7f9e1..a8b5d10da 100755
--- a/dev/make-macos-dmg.sh
+++ b/dev/make-macos-dmg.sh
@@ -25,7 +25,7 @@ make OLDROOT=$OUTDIR COQINSTALLPREFIX=$APP/Contents/Resources/ install-coq insta
 codesign -f -s - $APP
 
 # Create the dmg bundle
-mkdir $DMGDIR
+mkdir -p $DMGDIR
 ln -s /Applications $DMGDIR
 cp -r $APP $DMGDIR
 hdiutil create -imagekey zlib-level=9 -volname CoqIDE_$VERSION -srcfolder $DMGDIR -ov -format UDZO CoqIDE_$VERSION.dmg
-- 
cgit v1.2.3