Clone of official tools

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'],