ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #7876 from cmonr/version-warn-not-err 

Tools: Modified version mismatch msg to be warning instead of error
pull/8286/head
Martin Kojtal 2018-10-04 13:42:00 +02:00 committed by GitHub
parent 2247494596 09239e3073
commit 1af1a4a443
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/toolchains/arm.py
View File

@ -121,7 +121,7 @@ class ARM(mbedToolchain):
"file": "",
"line": "",
"col": "",
"severity": "ERROR",
"severity": "WARNING",
})
def _get_toolchain_labels(self):

2
tools/toolchains/gcc.py
View File

@ -140,7 +140,7 @@ class GCC(mbedToolchain):
"file": "",
"line": "",
"col": "",
"severity": "ERROR",
"severity": "Warning",
})
def is_not_supported_error(self, output):

2
tools/toolchains/iar.py
View File

@ -112,7 +112,7 @@ class IAR(mbedToolchain):
"file": "",
"line": "",
"col": "",
"severity": "ERROR",
"severity": "Warning",
})