diff options
author | Rodrigo Moya <rodrigo.moya@xamarin.com> | 2019-06-06 15:24:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-06 15:24:25 +0300 |
commit | 8d19632c4d0305ffc65380fd6fab713282321a07 (patch) | |
tree | a64c1f8c0d1c016223c53affa082ac1eb2789949 /main/build | |
parent | 41e6fb746da8b651884c91dedaeb60acebe20fab (diff) | |
parent | 66e31f7659e0a10d181f2015a81b062255c48cd8 (diff) |
Merge pull request #7809 from mono/pr-retry-unmount-on-mojave-bots
[Mac] Retry unmounting because of an issue in the Mojave bots
Diffstat (limited to 'main/build')
-rwxr-xr-x | main/build/MacOSX/make-dmg-bundle.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/main/build/MacOSX/make-dmg-bundle.sh b/main/build/MacOSX/make-dmg-bundle.sh index 1170152801..eac33e3cec 100755 --- a/main/build/MacOSX/make-dmg-bundle.sh +++ b/main/build/MacOSX/make-dmg-bundle.sh @@ -75,7 +75,14 @@ fi SetFile -a C "$MOUNT_POINT" echo "Detaching from disk image..." -hdiutil detach "$MOUNT_POINT" -quiet || exit $? +for n in `seq 1 5` +do + hdiutil detach "$MOUNT_POINT" && break + if [ $n = 5 ]; then + hdiutil detach -force "$MOUNT_POINT" + exit $? + fi +done mv "$DMG_FILE" "$DMG_FILE.master" |