diff options
author | Erich Eckner <git@eckner.net> | 2017-05-31 11:34:37 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-05-31 11:34:37 +0200 |
commit | 2422d79d69ab18580c36364fe8816e01eee426d1 (patch) | |
tree | 88322d2ab12f648bc2cf010ae6338c1ae0ce4d7e | |
parent | 67fba32a01a1942e03eb1ba00f2a597ed11edfea (diff) | |
download | builder-2422d79d69ab18580c36364fe8816e01eee426d1.tar.xz |
bin/return-assignment: return 0 if error reported and package outdated
-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 |