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 #2563 from sarahmarshy/path_error_rev 

Check if executble exists
pull/2557/merge
Sam Grove 2016-08-26 18:05:50 -05:00 committed by GitHub
parent 9ec0ec0309 bd0acdc527
commit fe1f2b6066
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/toolchains/__init__.py
View File

@ -197,7 +197,7 @@ def check_toolchain_path(function):
function -- the function to decorate
"""
def perform_check(self, *args, **kwargs):
if not exists(self.toolchain_path):
if not exists(self.toolchain_path) and not exists(self.toolchain_path+'.exe'):
error_string = 'Could not find executable for %s.\n Currently ' \
'set search path: %s'% (self.name, self.toolchain_path)
raise Exception(error_string)