diff options
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 7cbb4134..2007347e 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -854,7 +854,8 @@ share_buildinfo() { curl -s -X PUT --max-time 30 --data-binary @- "https://buildinfo.debian.net/api/submit" < ./${X}/$BUILDINFO_SIGNED > $TMPFILE || log_error "Could not submit buildinfo from ${X} to http://buildinfo.debian.net/api/submit" cat $TMPFILE if grep -q "500 Internal Server Error" $TMPFILE ; then - echo no irc_message debian-reproducible "${BUILD_URL} got error code 500 from buildinfo.debian.net" + MESSAGE="$(date -u ) - ${BUILD_URL}console got error code 500 from buildinfo.debian.net" + echo -e "$MESSAGE" | tee -a /var/log/jenkins/reproducible-submit2buildinfo.debian.net.log fi rm $TMPFILE done |