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

Correct profile handling in GNUARMEclipse exporter

pull/4445/head
Jimmy Brisson 2017-06-05 10:00:17 -05:00 committed by Sam Grove
parent fc6c2b85ff
commit 64baee8ac7
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/export/gnuarmeclipse/__init__.py
View File

@ -202,14 +202,13 @@ class GNUARMEclipse(Exporter):
print 'Build configuration: {0}'.format(opts['name']) print 'Build configuration: {0}'.format(opts['name'])
profile = profiles[id] profile = profiles[id]
profile_toolchain = profile[self.TOOLCHAIN]
# A small hack, do not bother with src_path again, # A small hack, do not bother with src_path again,
# pass an empty string to avoid crashing. # pass an empty string to avoid crashing.
src_paths = [''] src_paths = ['']
target_name = self.toolchain.target.name target_name = self.toolchain.target.name
toolchain = prepare_toolchain( toolchain = prepare_toolchain(
src_paths, "", target_name, self.TOOLCHAIN, build_profile=profile_toolchain) src_paths, "", target_name, self.TOOLCHAIN, build_profile=[profile])
# Hack to fill in build_dir # Hack to fill in build_dir
toolchain.build_dir = self.toolchain.build_dir toolchain.build_dir = self.toolchain.build_dir