diff options
author | Shawn O. Pearce <sop@google.com> | 2010-02-24 18:05:47 -0800 |
---|---|---|
committer | Shawn O. Pearce <sop@google.com> | 2010-02-24 18:05:47 -0800 |
commit | e0c9698dff1f119b8a8c219e09a148428f2aa370 (patch) | |
tree | f6bc8214b98905ed7a42c40f7e6ef9164a92aba2 | |
parent | f0d4e413d831e8f772cf34f20586b3d2fb3bbeb5 (diff) |
gerrit.sh: Don't use let, dash doesn't support itv2.1.2-rc1
Change-Id: Ib27959cd6ac8cf082b501fd29ba172c77e242a79
Signed-off-by: Shawn O. Pearce <sop@google.com>
-rwxr-xr-x | gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 06d524ad85..e23984d510 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 @@ case "$ACTION" in fi sleep 2 - let TIMEOUT=$TIMEOUT-2 + TIMEOUT=$(($TIMEOUT - 2)) done echo FAILED @@ -447,7 +447,7 @@ case "$ACTION" in 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" |