From 090d0148caa45b0c0062a7663307bde04de72538 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 27 Jun 2017 10:36:29 +0200
Subject: bin/cleanup: remove bashism

---
 bin/cleanup | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/cleanup')

diff --git a/bin/cleanup b/bin/cleanup
index 4d827ee..aa93004 100755
--- a/bin/cleanup
+++ b/bin/cleanup
@@ -44,7 +44,7 @@ ls "${build_log_directory}" | \
       if [ ${count} -ge 10 ]; then
         echo "${build_log_directory}/${a}"
       fi
-      count=$[${count}+1]
+      count=$((${count}+1))
     done
   ) | \
   xargs -rn1 rm
-- 
cgit v1.2.3-70-g09d2