From 699c65388213d54b2253ed4c0f2ccea3de1ee615 Mon Sep 17 00:00:00 2001 From: M4x1m3 Date: Sat, 18 Jul 2020 16:08:45 +0200 Subject: [PATCH] [ci/metric] Removed space in numbers (fixed leading 0s issue) --- build/metrics/binary_size.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/metrics/binary_size.py b/build/metrics/binary_size.py index f6009f42a..1bc48fd4f 100644 --- a/build/metrics/binary_size.py +++ b/build/metrics/binary_size.py @@ -37,7 +37,7 @@ def row_for_elf(elf, requested_section_prefixes): # String formatting def iso_separate(string): - space = ' ' # We may want to use a thin non-breaking space as thousands separator + space = '' # We may want to use a thin non-breaking space as thousands separator return string.replace('_',space).replace('+','+'+space).replace('-','-'+space) def format_bytes(value, force_sign=False):