summaryrefslogtreecommitdiffstats
path: root/bin/reproducible_build.sh
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-11-01 01:05:02 +0100
committerHolger Levsen <holger@layer-acht.org>2016-11-01 01:05:02 +0100
commitbc75bbc7b11a8072d97a1f0e973ac564390a8ea9 (patch)
treea229d168fac33f479000c4a8fcf10467e86de32f /bin/reproducible_build.sh
parent07c6326a33c47723afd135dfd264abec68adb971 (diff)
downloadjenkins.debian.net-bc75bbc7b11a8072d97a1f0e973ac564390a8ea9.tar.xz
reproducible Debian: log error instead of proceeding silently
Diffstat (limited to 'bin/reproducible_build.sh')
-rwxr-xr-xbin/reproducible_build.sh8
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh
index a3772800..57178b76 100755
--- a/bin/reproducible_build.sh
+++ b/bin/reproducible_build.sh
@@ -784,11 +784,11 @@ share_buildinfo() {
log_info "Submitting .buildinfo files to external archives."
# buildinfo.kfreebsd.eu administered by Steven Chamberlain <steven@pyro.eu.org>
- mail -s "buildinfo from $NODE1" submit@buildinfo.kfreebsd.eu < ./b1/$BUILDINFO || true
- mail -s "buildinfo from $NODE2" submit@buildinfo.kfreebsd.eu < ./b2/$BUILDINFO || true
+ mail -s "buildinfo from $NODE1" submit@buildinfo.kfreebsd.eu < ./b1/$BUILDINFO || log_error "Could not submit buildinfo from $NODE1 to submit@buildinfo.kfreebsd.eu."
+ mail -s "buildinfo from $NODE2" submit@buildinfo.kfreebsd.eu < ./b2/$BUILDINFO || log_error "Could not submit buildinfo from $NODE2 to submit@buildinfo.kfreebsd.eu"
# buildinfo.debian.net administred by Chris Lamb <lamby@debian.org>
- curl -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit?node=$NODE1" < ./b1/$BUILDINFO_SIGNED || true
- curl -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit?node=$NODE2" < ./b2/$BUILDINFO_SIGNED || true
+ curl -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit?node=$NODE1" < ./b1/$BUILDINFO_SIGNED || log_error "Could not submit buildinfo from $NODE1 to http://buildinfo.debian.net/api/submit?node=$NODE1"
+ curl -X PUT --max-time 30 --data-binary @- "http://buildinfo.debian.net/api/submit?node=$NODE2" < ./b2/$BUILDINFO_SIGNED || log_error "Could not submit buildinfo from $NODE2 to http://buildinfo.debian.net/api/submit?node=$NODE2"
log_info "Done submitting .buildinfo files."