Clone of official tools

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'))