diff --git a/core/tools/alloc.py b/core/tools/alloc.py index a50e7c9f6..896105a66 100755 --- a/core/tools/alloc.py +++ b/core/tools/alloc.py @@ -128,6 +128,11 @@ def html(obj, htmldir): with open(f"{htmldir}/index.html", "w") as f: f.write("") + f.write( + "

Total allocations: {}

".format( + sum(total_sum for _, _, total_sum in file_sums) + ) + ) with HtmlTable(f) as table: table.tr((style_right, "avg"), (style_right, "total"), "") for filename, avg_sum, total_sum in file_sums: