commit | e0c9698dff1f119b8a8c219e09a148428f2aa370 | [log] [tgz] |
---|---|---|
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 [diff] |
gerrit.sh: Don't use let, dash doesn't support it Change-Id: Ib27959cd6ac8cf082b501fd29ba172c77e242a79 Signed-off-by: Shawn O. Pearce <sop@google.com>
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"