mbed official / mbed-sdk-tools

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Diff: build_profiles.py

Revision:
15:cd36228f7d73
Parent:
14:ee1b877e6839
Child:
24:25bff2709c20
--- a/build_profiles.py	Thu Jul 14 20:37:27 2016 +0100
+++ b/build_profiles.py	Thu Jul 14 20:51:33 2016 +0100
@@ -137,6 +137,12 @@
             'v5': {
                 'ld':  ['-Wl,--gc-sections', '-Wl,--wrap,main'],
             },
+            'v4': {
+                'ld':  ['-Wl,--gc-sections', '-Wl,--wrap,main'],
+            },
+            'v3': {
+                'ld':  ['-Wl,--gc-sections', '-Wl,--wrap,main'],
+            },
             'v2': {
                 'common':     ["-c", "-Wall", "-fmessage-length=0", "-fno-exceptions", "-fno-builtin", "-ffunction-sections", "-fdata-sections"],
                 'cxx': ['-std=gnu++98'],