File tree 1 file changed +2
-2
lines changed 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -106,7 +106,7 @@ function console_results::print_execution_time() {
106
106
return
107
107
fi
108
108
109
- local time=$( printf " %.0f" " $( clock::total_runtime_in_milliseconds ) " )
109
+ local time=$( clock::total_runtime_in_milliseconds | awk ' { printf "%.0f", $1} ' )
110
110
111
111
if [[ " $time " -lt 1000 ]]; then
112
112
printf " ${_COLOR_BOLD} %s${_COLOR_DEFAULT} \n" \
@@ -116,7 +116,7 @@ function console_results::print_execution_time() {
116
116
117
117
local time_in_seconds=$(( time / 1000 ))
118
118
local remainder_ms=$(( time % 1000 ))
119
- local formatted_seconds=$( printf " %.2f " " $time_in_seconds .$remainder_ms " )
119
+ local formatted_seconds=$( echo " $time_in_seconds .$remainder_ms " | awk ' {printf "%.0f", $1} ' )
120
120
121
121
printf " ${_COLOR_BOLD} %s${_COLOR_DEFAULT} \n" \
122
122
" Time taken: $formatted_seconds s"
You can’t perform that action at this time.
0 commit comments