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 #4224 from theotherjimmy/mbed-new-export 

Add `mbed new .` output to export
pull/4252/merge
Jimmy Brisson 2017-05-02 11:28:09 -05:00 committed by GitHub
parent 23c86fc539 43bd303db3
commit 03806a8045
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/export/.mbed Normal file
View File

@ -0,0 +1 @@
ROOT=.

3
tools/export/exporters.py
View File

@ -60,7 +60,8 @@ class Exporter(object):
jinja_loader = FileSystemLoader(os.path.dirname(os.path.abspath(__file__)))
self.jinja_environment = Environment(loader=jinja_loader)
self.resources = resources
self.generated_files = [join(self.TEMPLATE_DIR,"GettingStarted.html")]
self.generated_files = [join(self.TEMPLATE_DIR, "GettingStarted.html"),
join(self.TEMPLATE_DIR, ".mbed")]
self.builder_files_dict = {}
self.add_config()