Clone of official tools

Revision:
43:2a7da56ebd24
Parent:
13:ab47a20b66f0
diff -r 2cf3f29fece1 -r 2a7da56ebd24 default_settings.py
--- a/default_settings.py	Mon Nov 06 13:17:14 2017 -0600
+++ b/default_settings.py	Tue Sep 25 13:43:09 2018 -0500
@@ -43,3 +43,6 @@
 
 # mbed.org username
 #MBED_ORG_USER = ""
+
+# Print compiler warnings and errors as link format
+#PRINT_COMPILER_OUTPUT_AS_LINK = False