diff --git a/scripts/mathlib_stats.sh b/scripts/mathlib_stats.sh index 149278316470d..ef5343782e77b 100755 --- a/scripts/mathlib_stats.sh +++ b/scripts/mathlib_stats.sh @@ -97,8 +97,8 @@ done)" # ' <(echo "${newDeclsTots}") <(echo "${oldDeclsTots}") declSummary="$(paste -d' ' <(echo "${newDecls}") <(echo "${oldDecls}") <(echo "${plusMinus}") | - LC_ALL=en_US.UTF-8 awk 'BEGIN{ print "|Type|New|+-|Change|%\n|:-:|:-:|:-:|:-:|:-:|" }{ - printf("| %s | %'"'"'d | +%'"'"'d -%'"'"'d | %'"'"'d | %4.2f%% |\n", $1, $2, $5, $6, $4, ($2-$4)*100/$2) + LC_ALL=en_US.UTF-8 awk 'BEGIN{ print "|Type|New|+-|%|\n|:-:|:-:|:-:|:-:|" }{ + printf("| %s | %'"'"'d | +%'"'"'d -%'"'"'d | %4.2f%% |\n", $1, $2, $5, $6, ($2-$4)*100/$2) }' )"