Clone of official tools
Diff: default_settings.py
- 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