diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-02-16 13:00:50 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-02-16 13:00:50 +0100 |
commit | ef58d7e277715b2efbbb2d7f6dfb8239fbb4d586 (patch) | |
tree | 1511530aeea9b748a8c830171a250236f7986a0f /bin | |
parent | bf95c59e96abca7594d010ecba5e0bab9d1861d7 (diff) | |
download | jenkins.debian.net-ef58d7e277715b2efbbb2d7f6dfb8239fbb4d586.tar.xz |
reproducible: improve output
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index d51b47e5..4bf5fa19 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -85,7 +85,7 @@ call_debbindiff() { echo -n "$(date) - ${SRCPACKAGE} failed to build reproducibly " | tee -a ${RBUILDLOG} cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/ > /dev/null 2>&1 || true if [ -f ./${LOGFILE} ] ; then - echo -n "$DEBBINDIFFOUT" | tee -a ${RBUILDLOG} + echo -n ", $DEBBINDIFFOUT" | tee -a ${RBUILDLOG} mv ./${LOGFILE} /var/lib/jenkins/userContent/dbd/ else echo -n ", debbindiff produced no output (which is strange)" |