1 files changed, 4 insertions, 4 deletions
diff --git a/gitrev.sh b/gitrev.sh
index 6fa091a668..fd9d907e4e 100755
--- a/gitrev.sh
+++ b/gitrev.sh
@@ -2,13 +2,13 @@
 N=0
 R=""
 MAX=50
-while [[ $N -le $MAX && "x$R" == "x" ]]
+while [ $N -le $MAX ] && [ "x$R" = "x" ]
 do
   R=$(git log -1 --pretty=format:%b HEAD~$N | sed -e 's/.*@\([0-9]\+\) .*/\1/')
-  N=$[$N+1]
+  N=$(($N+1))
 done
-if [[ "x$R" != "x" ]]; then
-  if [[ $N > 1 ]]; then
+if [ "x$R" != "x" ]; then
+  if [ $N -gt 1 ]; then
     R=$R\+$((N-1))
   fi
   echo $R