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

Fixing arguments

pull/1040/head
Brian Daniels 2015-04-13 16:43:10 -05:00
parent c71a082d20
commit afb331dcff
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace_tools/build_release.py
View File

@ -139,8 +139,8 @@ if __name__ == '__main__':
# Write summary of the builds
if options.report_jenkins_file:
write_build_report(build_report, options.report_jenkins_file_name)
if options.report_jenkins_file_name:
write_build_report(build_report, 'library_build/report.html', options.report_jenkins_file_name)
print "\n\nCompleted in: (%.2f)s" % (time() - start)