Clone of official tools
Diff: toolchains/arm.py
- Revision:
- 24:25bff2709c20
- Parent:
- 22:9e85236d8716
- Child:
- 29:1210849dba19
--- a/toolchains/arm.py Sat Jul 16 22:51:17 2016 +0100 +++ b/toolchains/arm.py Mon Aug 01 09:10:17 2016 +0100 @@ -108,6 +108,7 @@ 'toolchain_name': self.name } elif msg is not None: + # Determine the warning/error column by calculating the ^ position match = ARM.INDEX_PATTERN.match(line) if match is not None: msg['col'] = len(match.group('col'))