diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-27 10:36:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-27 10:36:29 +0200 |
| commit | 090d0148caa45b0c0062a7663307bde04de72538 (patch) | |
| tree | 97090635bcb07b87f5afc59c24f5fba83637d632 | |
| parent | 60c1992c6065eb1aaf5cb76f4e30cae7ba24b87c (diff) | |
| download | builder-090d0148caa45b0c0062a7663307bde04de72538.tar.xz | |
bin/cleanup: remove bashism
| -rwxr-xr-x | bin/cleanup | 2 |
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 |