From 43bd303db3965ad2ff1ef43398ca1910818cc401 Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Tue, 25 Apr 2017 11:17:49 -0500 Subject: [PATCH] Add `mbed new .` output to export --- tools/export/.mbed | 1 + tools/export/exporters.py | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 tools/export/.mbed diff --git a/tools/export/.mbed b/tools/export/.mbed new file mode 100644 index 0000000000..e87b56dce7 --- /dev/null +++ b/tools/export/.mbed @@ -0,0 +1 @@ +ROOT=. diff --git a/tools/export/exporters.py b/tools/export/exporters.py index e0fa5ae19b..a60ea86030 100644 --- a/tools/export/exporters.py +++ b/tools/export/exporters.py @@ -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()