diff options
| -rwxr-xr-x | bin/reproducible_build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 071150eb..9825614e 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -86,9 +86,9 @@ update_db_and_html() { } print_out_duration() { - HOUR=$(echo "$DURATION/3600"|bc) - MIN=$(echo "($DURATION-$HOUR*3600)/60"|bc) - SEC=$(echo "$DURATION-$HOUR*3600-$MIN*60"|bc) + local HOUR=$(echo "$DURATION/3600"|bc) + local MIN=$(echo "($DURATION-$HOUR*3600)/60"|bc) + local SEC=$(echo "$DURATION-$HOUR*3600-$MIN*60"|bc) echo "$(date) - total duration: ${HOUR}h ${MIN}m ${SEC}s." | tee -a ${RBUILDLOG} } |