ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix typo after rebase

pull/1975/head
Jimmy Brisson 2016-06-17 11:01:22 -05:00
parent 879ae8c6bd
commit a1b73c9b7e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/export/exporters.py
View File

@ -176,7 +176,7 @@ class Exporter(object):
# Add the configuration file to the target directory # Add the configuration file to the target directory
self.config_header = "mbed_conf.h" self.config_header = "mbed_conf.h"
cfg.get_config_data_header(join(trg_path, self.config_header)) config.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 # Check the existence of a binary build of the mbed library for the desired target
# This prevents exporting the mbed libraries from source # This prevents exporting the mbed libraries from source
# if not self.toolchain.mbed_libs: # if not self.toolchain.mbed_libs: