summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-06-27 10:36:29 +0200
committerErich Eckner <git@eckner.net>2017-06-27 10:36:29 +0200
commit090d0148caa45b0c0062a7663307bde04de72538 (patch)
tree97090635bcb07b87f5afc59c24f5fba83637d632
parent60c1992c6065eb1aaf5cb76f4e30cae7ba24b87c (diff)
downloadbuilder-090d0148caa45b0c0062a7663307bde04de72538.tar.xz
bin/cleanup: remove bashism
-rwxr-xr-xbin/cleanup2
1 files changed, 1 insertions, 1 deletions
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