From 4f294832555a2731fbf587b31c0b4b8942f225f0 Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Thu, 16 Jun 2016 12:54:35 -0500 Subject: [PATCH] Update exporters to include the generated mbed_conf.h --- tools/export/exporters.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/export/exporters.py b/tools/export/exporters.py index 571cf40e2d..adec60f849 100644 --- a/tools/export/exporters.py +++ b/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 @@ -169,7 +170,10 @@ 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: