diff options
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 |