From dac491645d5ddf8a2ddf23e34ed88a48166627e7 Mon Sep 17 00:00:00 2001 From: Brian Daniels Date: Thu, 21 Apr 2016 12:33:38 -0500 Subject: [PATCH] Allow the output binary of make.py to be named from the command line --- tools/make.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/make.py b/tools/make.py index 9c72cf17d4..9763433aff 100755 --- a/tools/make.py +++ b/tools/make.py @@ -99,6 +99,8 @@ if __name__ == '__main__': default=None, help="Duration of the test") parser.add_option("--build", dest="build_dir", default=None, help="The build (output) directory") + parser.add_option("-N", "--artifact-name", dest="artifact_name", + default=None, help="The built project's name") parser.add_option("-d", "--disk", dest="disk", default=None, help="The mbed disk") parser.add_option("-s", "--serial", dest="serial", @@ -253,7 +255,8 @@ if __name__ == '__main__': verbose=options.verbose, silent=options.silent, macros=options.macros, - jobs=options.jobs) + jobs=options.jobs, + name=options.artifact_name) print 'Image: %s'% bin_file if options.disk: