mirror of https://github.com/ARMmbed/mbed-os.git
device_name in targets.json. Removed progen target
parent
15f21b0587
commit
448205ac87
File diff suppressed because it is too large
Load Diff
|
@ -176,6 +176,19 @@ def export_project(src_paths, export_path, target, ide,
|
|||
paths = [src_paths]
|
||||
|
||||
# Extend src_paths wit libraries_paths
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
if libraries_paths is not None:
|
||||
paths.extend(libraries_paths)
|
||||
|
||||
|
|
Loading…
Reference in New Issue