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

Remove checking for existance of build directory

pull/2010/head
Jimmy Brisson 2016-06-29 17:19:17 -05:00
parent 7a4bee8c0e
commit 254dccdad3
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/build.py
View File

@ -46,7 +46,7 @@ if __name__ == '__main__':
parser.add_argument("--source", dest="source_dir", type=argparse_filestring_type,
default=None, help="The source (input) directory", action="append")
parser.add_argument("--build", dest="build_dir", type=argparse_filestring_type,
parser.add_argument("--build", dest="build_dir",
default=None, help="The build (output) directory")
parser.add_argument("--no-archive", dest="no_archive", action="store_true",