Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-11-01 09:31:12 +0100
committerErich Eckner <git@eckner.net>2017-11-01 09:31:12 +0100
commit5fe9ee97e9800b982854e3212107f7d50e0b6aa9 (patch)
tree088f00161980c9494ed9317df3d040cd6cb02a87
parenta03d5ca817a8065ea5caf0a7a49ee7c133b02964 (diff)
bin/return-assignment: ignore error report, if package is not on the build list anymore, too
-rwxr-xr-xbin/return-assignment3
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