diff --git a/testing/do-tests b/testing/do-tests index 75b6b3e34..5880c958a 100755 --- a/testing/do-tests +++ b/testing/do-tests @@ -957,6 +957,8 @@ done # finish the results html file # +printf -v timetotal_fmt '%02d:%02d:%02d' $((timetotal/3600)) $((timetotal%3600/60)) $((timetotal%60)) + cat >> $TESTRESULTSHTML << @EOF