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

Remove "quirky" resources assignment to toolchain

pull/185/head
Mihail Stoyanov 2014-02-11 10:55:20 +00:00
parent 31ccf33a12
commit 4b49861ffb
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build_api.py
View File

@ -116,8 +116,6 @@ def build_library(src_paths, build_path, target, toolchain_name,
toolchain.copy_files(resource.headers, build_path, rel_path=resource.base_path)
dependencies_include_dir.extend(toolchain.scan_resources(build_path).inc_dirs)
toolchain.resources = resources
# Compile Sources
objects = []
for resource in resources: