diff options
| -rwxr-xr-x | bin/reproducible_build.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index d87f6f14..f3e5badf 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -790,8 +790,10 @@ share_buildinfo() { log_info "Done submitting .buildinfo files to submit@buildinfo.kfreebsd.eu." # buildinfo.debian.net administred by Chris Lamb <lamby@debian.org> - curl -s -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit" < ./b1/$BUILDINFO_SIGNED || log_error "Could not submit buildinfo from $NODE1 to http://buildinfo.debian.net/api/submit" - curl -s -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit" < ./b2/$BUILDINFO_SIGNED || log_error "Could not submit buildinfo from $NODE2 to http://buildinfo.debian.net/api/submit" + for X in b1 b2 + do + curl -s -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit" < ./${X}/$BUILDINFO_SIGNED || log_error "Could not submit buildinfo from ${X} to http://buildinfo.debian.net/api/submit" + done log_info "Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit." log_info "Done submitting .buildinfo files." |