diff options
| -rwxr-xr-x | bin/return-assignment | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index ea2f09b..40f5b1c 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -77,7 +77,8 @@ fi # the build was successful on the build slave -if ! grep -q "^${1//./\\.} $2 $3 $4\$" "${work_dir}/build-list"; then +if ! grep -q "^${1//./\\.} $2 $3 $4\$" "${work_dir}/build-list" || + ! [ -f "${work_dir}/package-states/$1.$2.$3.$4.locked" ]; then >&2 echo 'Sorry, the sent package is outdated.' exit 2 fi |