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

Merge pull request #78 from screamerbg/master 

Use parallel build by default
Sam Grove 2016-05-05 13:11:15 -05:00
parent 1ae994fb62 fb03e5a2c1
commit 7aefc06dda
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

@ -62,7 +62,7 @@ if __name__ == '__main__':
parser.add_option("-j", "--jobs", parser.add_option("-j", "--jobs",
type="int", type="int",
dest="jobs", dest="jobs",
default=1, default=0,
help="Number of concurrent jobs. Default: 0/auto (based on host machine's number of CPUs)") help="Number of concurrent jobs. Default: 0/auto (based on host machine's number of CPUs)")
parser.add_option("-v", "--verbose", parser.add_option("-v", "--verbose",