aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2020-03-13 16:34:59 -0400
committerEmilio Jesus Gallego Arias2020-03-13 16:34:59 -0400
commit2ea5dc1e8f1f768725abef013db9dbdbdc55add2 (patch)
treeaaf5328dfbbbbcf3af4ac67235aa2dd9e805902b /dev
parent3449c8a088e9a902ebc73478667f4f25d6c08d2a (diff)
parentac25e208d46107616cc714bad02e20aaae982edf (diff)
Merge PR #11803: Update Azure MacOS version 10.13 -> 10.14
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
-rwxr-xr-xdev/build/osx/make-macos-dmg.sh12
1 files changed, 11 insertions, 1 deletions
diff --git a/dev/build/osx/make-macos-dmg.sh b/dev/build/osx/make-macos-dmg.sh
index 3a096fec06..35d0379008 100755
--- a/dev/build/osx/make-macos-dmg.sh
+++ b/dev/build/osx/make-macos-dmg.sh
@@ -24,4 +24,14 @@ mkdir -p _build
# Temporary countermeasure to hdiutil error 5341
# head -c9703424 /dev/urandom > $DMGDIR/.padding
-hdiutil create -imagekey zlib-level=9 -volname "coq-$VERSION-installer-macos" -srcfolder "$DMGDIR" -ov -format UDZO "_build/coq-$VERSION-installer-macos.dmg"
+hdi_opts=(-volname "coq-$VERSION-installer-macos"
+ -srcfolder "$DMGDIR"
+ -ov # overwrite existing file
+ -format UDZO
+ -imagekey "zlib-level=9"
+
+ # needed for backward compat since macOS 10.14 which uses APFS by default
+ # see discussion in #11803
+ -fs hfs+
+ )
+hdiutil create "${hdi_opts[@]}" "_build/coq-$VERSION-installer-macos.dmg"