diff options
author | Chris Johns <chrisj@rtems.org> | 2019-02-05 16:06:52 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-02-08 05:41:03 +1100 |
commit | 5156445f7bc834319272a328b82b7bb0f289751b (patch) | |
tree | cc7d16e0d7dc8446aa4c4012182ddf997c08daed /tester/rt/check.py | |
parent | 61741fe1b20301fb2107652adf0b02dba70dde25 (diff) |
tester/check: Convert the indent size to an int.
Diffstat (limited to 'tester/rt/check.py')
-rwxr-xr-x | tester/rt/check.py | 2 |
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']): |