summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2019-02-05 16:06:52 +1100
committerChris Johns <chrisj@rtems.org>2019-02-08 05:41:03 +1100
commit5156445f7bc834319272a328b82b7bb0f289751b (patch)
treecc7d16e0d7dc8446aa4c4012182ddf997c08daed
parent61741fe1b20301fb2107652adf0b02dba70dde25 (diff)
tester/check: Convert the indent size to an int.
-rwxr-xr-xtester/rt/check.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tester/rt/check.py b/tester/rt/check.py
index f81ee70..3bb24e3 100755
--- a/tester/rt/check.py
+++ b/tester/rt/check.py
@@ -304,7 +304,7 @@ class warnings_errors:
count = group_counts[build][group]
else:
count = 0
- gs += ['%*s' % (cols_4[g % 4] - 2,
+ gs += ['%*s' % (int(cols_4[g % 4] - 2),
'%s : %4d' % (group, count))]
for row in range(0, len(self.groups['groups']), 4):
if row + 4 > len(self.groups['groups']):