diff options
| -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 8a3782bb..d1575c9f 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -67,7 +67,8 @@ call_debbindiff() { # write locks are only done by the schroot setup job touch $DBDCHROOT_READLOCK fi - echo "$(date) - $(schroot --directory /tmp -c source:jenkins-reproducible-sid-debbindiff debbindiff -- --version) will be used to compare the two builds now." | tee -a ${RBUILDLOG} + echo + echo "$(date) - $(schroot --directory /tmp -c source:jenkins-reproducible-sid-debbindiff debbindiff -- --version 2>&1) will be used to compare the two builds now." | tee -a ${RBUILDLOG} ( timeout 15m schroot --directory $TMPDIR -c source:jenkins-reproducible-sid-debbindiff debbindiff -- --html ./${LOGFILE} ./b1/${SRCPACKAGE}_${EVERSION}_${ARCH}.changes ./b2/${SRCPACKAGE}_${EVERSION}_${ARCH}.changes ) 2>&1 >> ${RBUILDLOG} RESULT=$? set +x |