diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-18 22:15:09 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-18 22:15:09 +0200 |
| commit | 15552eb58854ebf072249e1f6c6eb72b2ff62b36 (patch) | |
| tree | 1d538c821ff676a6215f88a8f895d303c77557af /bin | |
| parent | f9ac5cfa911048556b6b64e15d3a941b93decc62 (diff) | |
| download | jenkins.debian.net-15552eb58854ebf072249e1f6c6eb72b2ff62b36.tar.xz | |
reproducible: finetune output
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index ac78ea52..d9b558c3 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -145,7 +145,7 @@ else DEBBINDIFFOUT="debbindiff found issues, please investigate $JENKINS_URL/userContent/dbd/${LOGFILE}" fi if [ ! -f ./${LOGFILE} ] && [ -f b1/${BUILDINFO} ] ; then - cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/ 2>&1 > /dev/null + cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/ > /dev/null 2>&1 figlet ${SRCPACKAGE} echo echo "debbindiff found no differences in the changes files, and a .buildinfo file also exist." | tee -a ${RBUILDLOG} @@ -155,7 +155,7 @@ else else echo | tee -a ${RBUILDLOG} echo -n "$(date) - ${SRCPACKAGE} failed to build reproducibly " | tee -a ${RBUILDLOG} - cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/ 2>&1 > /dev/null || true + cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/ > /dev/null 2>&1 || true if [ -f ./${LOGFILE} ] ; then echo -n "$DEBBINDIFFOUT" | tee -a ${RBUILDLOG} # FIXME: work around debbindiff not having external CSS support (#764470) |