diff --git a/tools/cmake/toolchains/ARM.cmake b/tools/cmake/toolchains/ARM.cmake index f0154e70aa..d8a835d170 100644 --- a/tools/cmake/toolchains/ARM.cmake +++ b/tools/cmake/toolchains/ARM.cmake @@ -80,11 +80,6 @@ function(mbed_set_c_lib target lib_type) __MICROLIB ) - target_compile_options(${target} - INTERFACE - $<$:"--library_type=microlib"> - ) - target_link_options(${target} INTERFACE "--library_type=microlib"