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

Propagated 'jobs' argument to build_project'

pull/433/head
Bogdan Marinescu 2014-08-06 14:43:11 +01:00
parent 16b9ae0c8a
commit 8dbd2833fc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/make.py
View File

@ -168,7 +168,7 @@ if __name__ == '__main__':
test.dependencies, options.options, test.dependencies, options.options,
linker_script=options.linker_script, linker_script=options.linker_script,
clean=options.clean, verbose=options.verbose, clean=options.clean, verbose=options.verbose,
macros=options.macros) macros=options.macros, jobs=options.jobs)
print 'Image: %s' % bin print 'Image: %s' % bin
if options.disk: if options.disk: