[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