ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Allowing "--source" to be specified multiple times. 

Allowing you to compose builds from separate directories.
bridadan 2016-04-06 16:02:11 +01:00 committed by Marcus Shawcroft
parent f040936ed7
commit ef4376740b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/make.py
View File

@ -94,7 +94,7 @@ if __name__ == '__main__':
parser.add_option("--dep", dest="dependencies",
default=None, help="Dependencies")
parser.add_option("--source", dest="source_dir",
default=None, help="The source (input) directory")
default=None, help="The source (input) directory", action="append")
parser.add_option("--duration", type="int", dest="duration",
default=None, help="Duration of the test")
parser.add_option("--build", dest="build_dir",