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

The python script provided in the original repo fails trying to access an empty string as a file, this version removes any empty strings in the files to build.

pull/159/head
tkuyucu 2013-12-02 16:34:19 +01:00
parent 685274563e
commit c845f39c50
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
workspace_tools/toolchains/__init__.py
View File

@ -226,6 +226,7 @@ class mbedToolchain:
target_mod_time = stat(target).st_mtime target_mod_time = stat(target).st_mtime
for d in dependencies: for d in dependencies:
# Some objects are not provided with full path and here we do not have # Some objects are not provided with full path and here we do not have
# information about the library paths. Safe option: assume an update # information about the library paths. Safe option: assume an update
if not d or not exists(d): if not d or not exists(d):
@ -323,7 +324,11 @@ class mbedToolchain:
def copy_files(self, files_paths, trg_path, rel_path=None): def copy_files(self, files_paths, trg_path, rel_path=None):
# Handle a single file # Handle a single file
if type(files_paths) != ListType: files_paths = [files_paths] if type(files_paths) != ListType: files_paths = [files_paths]
for source in files_paths:
if source is None:
files_paths.remove(source)
for source in files_paths: for source in files_paths:
if rel_path is not None: if rel_path is not None:
relative_path = relpath(source, rel_path) relative_path = relpath(source, rel_path)