Clone of official tools
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'],