[rtems-tools commit] tester/check: Convert the indent size to an int.
Chris Johns
chrisj at rtems.org
Thu Feb 7 18:41:54 UTC 2019
Module: rtems-tools
Branch: master
Commit: 5156445f7bc834319272a328b82b7bb0f289751b
Changeset: http://git.rtems.org/rtems-tools/commit/?id=5156445f7bc834319272a328b82b7bb0f289751b
Author: Chris Johns <chrisj at rtems.org>
Date: Tue Feb 5 16:06:52 2019 +1100
tester/check: Convert the indent size to an int.
---
tester/rt/check.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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']):
More information about the vc
mailing list