From 278634a1f68765681f4e4c4fc669c2f9892cf17c Mon Sep 17 00:00:00 2001
From: Martin Kojtal <0xc0170@gmail.com>
Date: Thu, 8 Jun 2017 15:45:29 +0100
Subject: [PATCH] tools: mbed sdk boot should be separate object file

This was probably deleted during the rebase, as mbed sdk boot needs to be
own object file due to using weak functions.
---
 tools/build_api.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build_api.py b/tools/build_api.py
index f8385f95c4..c9e288dae7 100644
--- a/tools/build_api.py
+++ b/tools/build_api.py
@@ -1061,7 +1061,7 @@ def build_mbed_libs(target, toolchain_name, verbose=False,
         #                       weak SDK functions
         #   - mbed_main.o: this contains main redirection
         separate_names, separate_objects = ['mbed_retarget.o', 'mbed_board.o',
-                                            'mbed_overrides.o', 'mbed_main.o'], []
+                                            'mbed_overrides.o', 'mbed_main.o', 'mbed_sdk_boot.o'], []
 
         for obj in objects:
             for name in separate_names: