diff options
| author | Gaëtan Gilbert | 2020-03-11 14:25:21 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-13 14:12:03 +0100 |
| commit | ac25e208d46107616cc714bad02e20aaae982edf (patch) | |
| tree | 42162c7aa714b67148a84e9ebee7a9729f135d14 /dev/build | |
| parent | b6e6751011bc3ede5da75394ef2ed9396b28f87f (diff) | |
Update Azure MacOS version 10.13 -> 10.14
10.13 is deprecated as an azure VM
Close #11449
Diffstat (limited to 'dev/build')
| -rwxr-xr-x | dev/build/osx/make-macos-dmg.sh | 12 |
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" |