From d65e7bfe3d2a2108722db1d7a79559d4ce779a2c Mon Sep 17 00:00:00 2001 From: Jeremy Brodt Date: Fri, 10 Apr 2015 08:36:24 -0500 Subject: [PATCH] Added copying of library files. --- workspace_tools/build_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/workspace_tools/build_api.py b/workspace_tools/build_api.py index 5e2c854045..9a4bf4e7f0 100644 --- a/workspace_tools/build_api.py +++ b/workspace_tools/build_api.py @@ -234,7 +234,7 @@ def build_mbed_libs(target, toolchain_name, options=None, verbose=False, clean=F # Target specific sources HAL_SRC = join(MBED_TARGETS_PATH, "hal") hal_implementation = toolchain.scan_resources(HAL_SRC) - toolchain.copy_files(hal_implementation.headers + hal_implementation.hex_files, BUILD_TARGET, HAL_SRC) + toolchain.copy_files(hal_implementation.headers + hal_implementation.hex_files + hal_implementation.libraries, BUILD_TARGET, HAL_SRC) incdirs = toolchain.scan_resources(BUILD_TARGET).inc_dirs objects = toolchain.compile_sources(hal_implementation, TMP_PATH, [MBED_LIBRARIES] + incdirs)