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

enable the default profile

pull/3561/head
Liviu Ionescu 2017-02-02 18:42:53 +02:00
parent 269f2b115e
commit 7e7b25265c
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -149,11 +149,6 @@ class GNUARMEclipse(Exporter):
# Read in all profiles, we'll extract compiler options.
profiles = self.get_all_profiles()
# Remove 'default', it should never exist, it should be a link
# to one of the real profiles.
if 'default' in profiles:
del profiles['default']
profile_ids = [s.lower() for s in profiles]
profile_ids.sort()