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 #855 from BlackstoneEngineering/ExporterUpdate 

Tools: exporters - Fix readme.html
pull/857/head
Martin Kojtal 2015-01-21 18:26:13 +00:00
parent 8d97833cad c548c2693f
commit 2716ab1994
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/export/__init__.py
View File

@ -85,7 +85,7 @@ def export(project_path, project_name, ide, target, destination='/tmp/',
zip_path = None zip_path = None
if report['success']: if report['success']:
# add readme file to every offline export. # add readme file to every offline export.
open(tempdir+"\\README.html",'w').write('<meta http-equiv="refresh" content="0; url=http://developer.mbed.org/handbook/ExportToOfflineToolchain#%s#%s"/>'% (target,ide)) open(os.path.join(temdir, 'README.html'),'w').write('<meta http-equiv="refresh" content="0; url=http://developer.mbed.org/handbook/ExportToOfflineToolchain#%s#%s"/>'% (target,ide))
zip_path = zip_working_directory_and_clean_up(tempdir, destination, project_name, clean) zip_path = zip_working_directory_and_clean_up(tempdir, destination, project_name, clean)
return zip_path, report return zip_path, report