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

Added verbose option to build_release.py

pull/299/head
Bogdan Marinescu 2014-05-07 22:12:23 +01:00
parent 152b58673f
commit 9b366ee801
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace_tools/build_release.py
View File

@ -59,6 +59,8 @@ if __name__ == '__main__':
parser = OptionParser()
parser.add_option('-o', '--official', dest="official_only", default=False, action="store_true",
help="Build using only the official toolchain for each target")
parser.add_option("-v", "--verbose", action="store_true", dest="verbose",
default=False, help="Verbose diagnostic output")
options, args = parser.parse_args()
start = time()
failures = []
@ -71,7 +73,7 @@ if __name__ == '__main__':
for toolchain in toolchains:
id = "%s::%s" % (target_name, toolchain)
try:
build_mbed_libs(TARGET_MAP[target_name], toolchain)
build_mbed_libs(TARGET_MAP[target_name], toolchain, verbose=options.verbose)
successes.append(id)
except Exception, e:
failures.append(id)