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

Added command line source/build directory option

pull/86/head
pbrier 2013-10-17 23:22:26 +02:00
parent eaafc74ae2
commit 43f4e42681
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
workspace_tools/make.py
View File

@ -50,6 +50,10 @@ if __name__ == '__main__':
default=False, help="Verbose diagnostic output")
# Local run
parser.add_option("--source", dest="input_dir",
default=None, help="The source input directory")
parser.add_option("--build", dest="output_dir",
default=None, help="The binary output directory")
parser.add_option("-d", "--disk", dest="disk",
default=None, help="The mbed disk")
parser.add_option("-s", "--serial", dest="serial",
@ -108,6 +112,10 @@ if __name__ == '__main__':
test.dependencies.append(RTOS_LIBRARIES)
build_dir = join(BUILD_DIR, "test", mcu, toolchain, test.id)
if options.input_dir is not None:
test.source_dir = options.input_dir
if options.output_dir is not None:
build_dir = options.output_dir
target = TARGET_MAP[mcu]
try: