diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index e76eb2c7..50f6469c 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -154,6 +154,10 @@ call_debbindiff() { # kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "$MESSAGE" || true # don't fail the whole job fi fi + HOUR=$(echo "$DURATION/3600"|bc) + MIN=$(echo "($DURATION-$HOUR*3600)/60"|bc) + SEC=$(echo "$DURATION-$HOUR*3600-$MIN*60"|bc) + echo "$(date) - total duration: ${HOUR}h ${MIN}m ${SEC}s." | tee -a ${RBUILDLOG} } TMPDIR=$(mktemp --tmpdir=/srv/reproducible-results -d) |