From 7e7b25265ca4b15da550704ffca439fda33be8e4 Mon Sep 17 00:00:00 2001 From: Liviu Ionescu Date: Thu, 2 Feb 2017 18:42:53 +0200 Subject: [PATCH] enable the default profile --- tools/export/gnuarmeclipse/__init__.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/tools/export/gnuarmeclipse/__init__.py b/tools/export/gnuarmeclipse/__init__.py index d18a418822..c3d4434d8e 100644 --- a/tools/export/gnuarmeclipse/__init__.py +++ b/tools/export/gnuarmeclipse/__init__.py @@ -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()