Clone of official tools

Revision:
12:f2e8a005c7d3
Parent:
9:2d27d77ada5c
Child:
13:ab47a20b66f0
diff -r a1a7d92ae8f1 -r f2e8a005c7d3 toolchains/__init__.py
--- a/toolchains/__init__.py	Tue Jun 14 11:25:35 2016 +0100
+++ b/toolchains/__init__.py	Tue Jun 14 11:33:06 2016 +0100
@@ -29,7 +29,7 @@
 from tools.utils import run_cmd, mkdir, rel_path, ToolException, NotSupportedException, split_path
 from tools.settings import BUILD_OPTIONS, MBED_ORG_USER
 import tools.hooks as hooks
-from tools.memap import MemmapParser
+from tools.memap import MemapParser
 from hashlib import md5
 import fnmatch