From e17b1df13d9c3269b838169d6d61912d3d13431d Mon Sep 17 00:00:00 2001 From: jeromecoutant Date: Fri, 29 Jun 2018 09:30:07 +0200 Subject: [PATCH] build_api.py : add comment about separate_names --- tools/build_api.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/build_api.py b/tools/build_api.py index 4d87711930..276bfcd61c 100644 --- a/tools/build_api.py +++ b/tools/build_api.py @@ -1076,6 +1076,7 @@ def build_mbed_libs(target, toolchain_name, clean=False, macros=None, # - mbed_overrides.o: this contains platform overrides of various # weak SDK functions # - mbed_main.o: this contains main redirection + # - PeripheralPins.o: PinMap can be weak separate_names, separate_objects = ['PeripheralPins.o', 'mbed_retarget.o', 'mbed_board.o', 'mbed_overrides.o', 'mbed_main.o', 'mbed_sdk_boot.o'], []