diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-14 16:11:08 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-14 16:11:08 +0200 |
| commit | 6c9ef1ccaca1763d6a9e46c71ed9c67f6139c5bc (patch) | |
| tree | e1d1bf6f08fc8d0c6486bed5590fda3d1f9b3946 /bin/get-assignment | |
| parent | f25f9462a68a968a676d555613cdfa6e7516cad1 (diff) | |
| download | builder-6c9ef1ccaca1763d6a9e46c71ed9c67f6139c5bc.tar.xz | |
remove bashisms - only "bash arrays" and "bash string substituions" left
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 250a4f9..7b0a5da 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -57,7 +57,7 @@ if ! flock -n 9; then exit 1 fi -function clean_up { +clean_up() { rm -f "${build_list_lock_file}" } @@ -79,7 +79,7 @@ while read -r package git_revision mod_git_revision repository; do if [ -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked" ]; then if [ "${slave}" = "$(head -n1 "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked")" ]; then - num_jobs=$[${num_jobs}+1]; + num_jobs=$((${num_jobs}+1)); fi else pending_packages=true |