From 40d3b227850617f063350e7fe4d87adc750b3e8f Mon Sep 17 00:00:00 2001
From: Bartek Szatkowski <bulislaw@linux.com>
Date: Tue, 7 Feb 2017 11:27:47 +0000
Subject: [PATCH] Build: Rework build profiles

Rename small.json to release.json, default.json to develop.json and make
it the default profile.
---
 docs/build_profiles.md                        | 10 +++++-----
 tools/options.py                              |  2 +-
 tools/profiles/{default.json => develop.json} |  0
 tools/profiles/{small.json => release.json}   |  0
 4 files changed, 6 insertions(+), 6 deletions(-)
 rename tools/profiles/{default.json => develop.json} (100%)
 rename tools/profiles/{small.json => release.json} (100%)

diff --git a/docs/build_profiles.md b/docs/build_profiles.md
index 7fcce28805..d6acec5331 100644
--- a/docs/build_profiles.md
+++ b/docs/build_profiles.md
@@ -1,11 +1,11 @@
 # Build Profiles
-Mbed 5.0 supports three primary build profiles, *default*, *debug* and *small*. When using
-the online compiler the *default* profile is used. When building from the command line
+Mbed 5.0 supports three primary build profiles, *develop*, *debug* and *release*. When using
+the online compiler the *develop* profile is used. When building from the command line
 the desired profile can be can be selected by adding the ```--profile <profile>```
-command line flag. Custom user defined profiles can also be specific by giving the path
+command line flag, but `develop` will be used by default. Custom user defined profiles can also be specific by giving the path
 the the profile.
 
-## Default profile
+## Develop profile
 * Small and fast code
 * Full error information - e.x. asserts have filename and line number
 * Hard to follow code flow when using a debugger
@@ -15,7 +15,7 @@ the the profile.
 * Full error information - e.x. asserts have filename and line number
 * Largest and slowest profile
 
-## Small profile
+## Release profile
 * Smallest profile and still fast
 * Minimal error information
 * Hard to follow code flow when using a debugger
diff --git a/tools/options.py b/tools/options.py
index 21e7ccad42..adcbe5fb9a 100644
--- a/tools/options.py
+++ b/tools/options.py
@@ -100,7 +100,7 @@ def list_profiles():
     """
     return [fn.replace(".json", "") for fn in listdir(join(dirname(__file__), "profiles")) if fn.endswith(".json")]
 
-def extract_profile(parser, options, toolchain, fallback="default"):
+def extract_profile(parser, options, toolchain, fallback="develop"):
     """Extract a Toolchain profile from parsed options
 
     Positional arguments:
diff --git a/tools/profiles/default.json b/tools/profiles/develop.json
similarity index 100%
rename from tools/profiles/default.json
rename to tools/profiles/develop.json
diff --git a/tools/profiles/small.json b/tools/profiles/release.json
similarity index 100%
rename from tools/profiles/small.json
rename to tools/profiles/release.json