diff options
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 7185a35..670dfdc 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -37,6 +37,7 @@ hand_out_assignment() { xargs -rn1 rm -f echo "$1 $2 $3 $4" + # shellcheck disable=SC2154 echo "${slave}" > "${work_dir}/package-states/$1.$2.$3.$4.locked" # lock every loop this package breaks @@ -112,6 +113,7 @@ fi for hand_out_broken in false true; do + # shellcheck disable=SC2094 while read -r package git_revision mod_git_revision repository; do if [ -z "${git_revision}${mod_git_revision}${repository}" ] && \ |