commit e0c9698dff1f119b8a8c219e09a148428f2aa370
author Shawn O. Pearce <sop@google.com> Wed Feb 24 18:05:47 2010 -0800
committer Shawn O. Pearce <sop@google.com> Wed Feb 24 18:05:47 2010 -0800
tree f6bc8214b98905ed7a42c40f7e6ef9164a92aba2
parent f0d4e413d831e8f772cf34f20586b3d2fb3bbeb5

gerrit.sh: Don't use let, dash doesn't support it

Change-Id: Ib27959cd6ac8cf082b501fd29ba172c77e242a79
Signed-off-by: Shawn O. Pearce <sop@google.com>

gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh

diff --git a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh
index 06d524a..e23984d 100755
--- a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh
+++ b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh
@@ -416,7 +416,7 @@
       fi
 
       sleep 2
-      let TIMEOUT=$TIMEOUT-2
+      TIMEOUT=$(($TIMEOUT - 2))
     done
 
     echo FAILED
@@ -447,7 +447,7 @@
       while running "$GERRIT_PID" && test $TIMEOUT -gt 0 ; do
         kill $PID 2>/dev/null
         sleep 1
-        let TIMEOUT=$TIMEOUT-1
+        TIMEOUT=$(($TIMEOUT - 1))
       done
       test $TIMEOUT -gt 0 || kill -9 $PID 2>/dev/null
       rm -f "$GERRIT_PID" "$GERRIT_RUN"