diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-14 14:19:24 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-14 14:25:42 +0200 |
| commit | 83a72072f11a4fe04fb93fe294e06926671f6673 (patch) | |
| tree | e9fc53a82a085cf28c6bf338f821fbfbfb98a8f4 /bin | |
| parent | fe9acfd30ea146693ba418837d8a29e876f2fcf5 (diff) | |
| download | builder-83a72072f11a4fe04fb93fe294e06926671f6673.tar.xz | |
bin/return-assignment: reject packages without lock file
Diffstat (limited to 'bin')
| -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 |