Merge pull request #4804 from johanstokking/fix/4802-copy-static-files

Copy static files only

Author: theotherjimmy

tools/export/__init__.py

@@ -344,13 +344,14 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
                 if label not in toolchain.target.features:
                     resource.add(res)
         if isinstance(zip_proj, basestring):
-            zip_export(join(export_path, zip_proj), name, resource_dict, files,
-                       inc_repos)
+            zip_export(join(export_path, zip_proj), name, resource_dict,
+                       files + exporter.static_files, inc_repos)
         else:
-            zip_export(zip_proj, name, resource_dict, files, inc_repos)
+            zip_export(zip_proj, name, resource_dict,
+                       files + exporter.static_files, inc_repos)
     else:
-        for exported in files:
-            if not exists(join(export_path, basename(exported))):
-                copyfile(exported, join(export_path, basename(exported)))
+        for static_file in exporter.static_files:
+            if not exists(join(export_path, basename(static_file))):
+                copyfile(static_file, join(export_path, basename(static_file)))
 
     return exporter

tools/export/exporters.py

@@ -72,8 +72,11 @@ def __init__(self, target, export_dir, project_name, toolchain,
         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"),
-                                join(self.TEMPLATE_DIR, ".mbed")]
+        self.generated_files = []
+        self.static_files = (
+            join(self.TEMPLATE_DIR, "GettingStarted.html"),
+            join(self.TEMPLATE_DIR, ".mbed"),
+        )
         self.builder_files_dict = {}
         self.add_config()