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 #1955 from theotherjimmy/name-libs 

Add -N/--artifact-name argument to parser to name libraries
pull/1958/head
Sam Grove 2016-06-15 22:30:19 +01:00 committed by GitHub
parent 605cb86ba7 6de4ea7e6f
commit 934951a002
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/build.py
View File

@ -129,6 +129,8 @@ if __name__ == '__main__':
parser.add_option("-j", "--jobs", type="int", dest="jobs",
default=0, help="Number of concurrent jobs. Default: 0/auto (based on host machine's number of CPUs)")
parser.add_option("-N", "--artifact-name", dest="artifact_name",
default=None, help="The built project's name")
parser.add_option("-v", "--verbose",
action="store_true",
@ -242,7 +244,8 @@ if __name__ == '__main__':
jobs=options.jobs,
clean=options.clean,
archive=(not options.no_archive),
macros=options.macros)
macros=options.macros,
name=options.artifact_name)
else:
lib_build_res = build_mbed_libs(mcu, toolchain,
options=options.options,