Update exporters to include the generated mbed_conf.h

tools/export/exporters.py

@@ -36,6 +36,7 @@ class Exporter(object):
         self.extra_symbols = extra_symbols
         self.config_macros = []
         self.sources_relative = sources_relative
+        self.config_header = None
 
     def get_toolchain(self):
         return self.TOOLCHAIN
@@ -170,6 +171,9 @@ class Exporter(object):
         # And add the configuration macros to the toolchain
         self.config_macros = config.get_config_data_macros()
 
+        # Add the configuration file to the target directory
+        self.config_header =  "mbed_conf.h"
+        cfg.get_config_data_header(join(trg_path, self.config_header))
         # Check the existence of a binary build of the mbed library for the desired target
         # This prevents exporting the mbed libraries from source
         # if not self.toolchain.mbed_libs: