summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/return-assignment3
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