diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-01 09:31:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-01 09:31:12 +0100 |
| commit | 5fe9ee97e9800b982854e3212107f7d50e0b6aa9 (patch) | |
| tree | 088f00161980c9494ed9317df3d040cd6cb02a87 /bin | |
| parent | a03d5ca817a8065ea5caf0a7a49ee7c133b02964 (diff) | |
| download | builder-5fe9ee97e9800b982854e3212107f7d50e0b6aa9.tar.xz | |
bin/return-assignment: ignore error report, if package is not on the build list anymore, too
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 f01e295..6961507 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -47,7 +47,8 @@ trap clean_up_lock_file EXIT if [ "$5" = 'ERROR' ]; then # the build failed on the build slave - if [ ! -f "${work_dir}/package-states/$1.$2.$3.$4.locked" ]; then + if ! grep -qxF "$1 $2 $3 $4" "${work_dir}/build-list" || + ! [ -f "${work_dir}/package-states/$1.$2.$3.$4.locked" ]; then # too late, package already outdated -> ignore error report exit 0 fi |