diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-01-05 14:40:58 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-01-05 16:00:19 +0100 |
commit | 60167da31a58f77de864bfc5f35d1e3ecb75f15e (patch) | |
tree | 5148b8ea431f516d63062bbac923b31fbf25cfa4 /bin/reproducible_common.sh | |
parent | bff970b0c95f7c6fe6f97a37465e55737150c2d1 (diff) | |
download | jenkins.debian.net-60167da31a58f77de864bfc5f35d1e3ecb75f15e.tar.xz |
reproducible: build: always print how much the package took to build in rbuild, not only when the build succeeded
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index fc15b868..b354f42b 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -496,6 +496,9 @@ calculate_build_duration() { } print_out_duration() { + if [ -z "$DURATION" ]; then + return + fi local HOUR=$(echo "$DURATION/3600"|bc) local MIN=$(echo "($DURATION-$HOUR*3600)/60"|bc) local SEC=$(echo "$DURATION-$HOUR*3600-$MIN*60"|bc) |