From efdba96b70db9305d3d0a6a711d5e6690c3cad90 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 13 May 2019 15:51:15 +0100
Subject: [PATCH 1/1] JAL-3247 nogradle option on this mac build/install
 helper script

---
 utils/dev_macos_install.sh |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/utils/dev_macos_install.sh b/utils/dev_macos_install.sh
index c4cd94c..5eadf0d 100755
--- a/utils/dev_macos_install.sh
+++ b/utils/dev_macos_install.sh
@@ -23,8 +23,12 @@ if [ $? = 0 ]; then
     exit 1
   fi
   echo "Mounting '$DMG' at /Volumes"
+  N=0
   while [ \! -e "/Volumes/$INSTALLERVOL/$APP" ]; do
-    echo -n "."
+    if [ $(( N%1000 )) = 0 ]; then
+      echo -n "."
+    fi
+    N=$(( N+1 ))
   done
   echo ""
 fi
-- 
1.7.10.2