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

[workspace_tools] project.py - some more changes ... 

... suggested by PrzemekWirkus
pull/819/head
Olaf Hagendorf 2015-01-27 10:50:51 +01:00
parent 28435e93bf
commit a9bde7df03
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
workspace_tools/project.py
View File

@ -93,12 +93,11 @@ if __name__ == '__main__':
if options.supported_ides_html:
html = mcu_ide_matrix(verbose_html=True)
try:
with open("./export/README.html","w") as f: # you have to rename README.htlm to README.md manually
with open("./export/README.md","w") as f:
f.write("Exporter IDE/Platform Support\n")
f.write("-----------------------------------\n")
f.write("\n");
f.write("\n")
f.write(html)
f.close()
except IOError as e:
print "I/O error({0}): {1}".format(e.errno, e.strerror)
except: