diff options
| -rwxr-xr-x | bin/return-assignment | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index 308e9a0..e65bcfa 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -37,6 +37,11 @@ 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 + # too late, package already outdated -> ignore error report + exit 0 + fi + mv "${work_dir}/package-states/$1.$2.$3.$4."{locked,broken} # unlock every loop this package would have broken and which is not |