From fb987c6737d54faf8ea349e455cf970451de1d39 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 20 Oct 2017 18:37:51 +0200 Subject: Normalize MacOS installer name. --- dev/build/osx/make-macos-dmg.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev/build') diff --git a/dev/build/osx/make-macos-dmg.sh b/dev/build/osx/make-macos-dmg.sh index cfcc09b32..dc33838f1 100755 --- a/dev/build/osx/make-macos-dmg.sh +++ b/dev/build/osx/make-macos-dmg.sh @@ -25,4 +25,4 @@ mkdir -p _build # Temporary countermeasure to hdiutil error 5341 # head -c9703424 /dev/urandom > $DMGDIR/.padding -hdiutil create -imagekey zlib-level=9 -volname CoqIDE_$VERSION -srcfolder $DMGDIR -ov -format UDZO _build/CoqIDE_$VERSION.dmg +hdiutil create -imagekey zlib-level=9 -volname coq-$VERSION-installer-macos -srcfolder $DMGDIR -ov -format UDZO _build/coq-$VERSION-installer-macos.dmg -- cgit v1.2.3