summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-01-07 01:34:02 +0100
committerHolger Levsen <holger@layer-acht.org>2015-01-07 01:34:02 +0100
commitdce9e38a35b181cf22cbdfd3d20ef4046512dfa5 (patch)
tree6cafbcc6fc91a34948e461c86019d035ad221ab3
parenta936c742f2a141b2fb9b0d595ff4ce13e30f3083 (diff)
downloadjenkins.debian.net-dce9e38a35b181cf22cbdfd3d20ef4046512dfa5.tar.xz
reproducible: fixup 3f497a20c, thanks mapreri
-rwxr-xr-xbin/reproducible_build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh
index 21f81952..9f44fa4f 100755
--- a/bin/reproducible_build.sh
+++ b/bin/reproducible_build.sh
@@ -164,7 +164,7 @@ else
if [ $RESULT -eq 124 ] ; then
echo "$(date) - debbindiff was killed after running into timeout... maybe there is still $REPRODUCIBLE_URL/userContent/dbd/${LOGFILE}" | tee -a ${RBUILDLOG}
if [ ! -s ./${LOGFILE} ] ; then
- echo "$(date) - debbindiff produced no output and was killed after running into timeout..."
+ echo "$(date) - debbindiff produced no output and was killed after running into timeout..." >> ${LOGFILE}
fi
elif [ $RESULT -eq 1 ] ; then
DEBBINDIFFOUT="debbindiff found issues, please investigate $REPRODUCIBLE_URL/userContent/dbd/${LOGFILE}"