From 5156445f7bc834319272a328b82b7bb0f289751b Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Tue, 5 Feb 2019 16:06:52 +1100
Subject: 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']):
-- 
cgit v1.2.3