Diff: build.py

Revision:

13:ab47a20b66f0

Parent:

9:2d27d77ada5c

Child:

22:9e85236d8716

--- a/build.py	Tue Jun 14 11:33:06 2016 +0100
+++ b/build.py	Thu Jul 14 20:21:19 2016 +0100
@@ -129,6 +129,8 @@
 
     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 @@
                                                     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,