From 68729e8ec0ce15d0dc692a703739b1e46e37e1c8 Mon Sep 17 00:00:00 2001 From: Jukka Laitinen Date: Thu, 11 Nov 2021 11:34:52 +0200 Subject: [PATCH] nuttx/rpi io_pins: link to drivers_board for timer_io_channels dependency Signed-off-by: Jukka Laitinen --- platforms/nuttx/src/px4/rpi/rpi_common/io_pins/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/platforms/nuttx/src/px4/rpi/rpi_common/io_pins/CMakeLists.txt b/platforms/nuttx/src/px4/rpi/rpi_common/io_pins/CMakeLists.txt index a5bd3341b0..889c5004dd 100644 --- a/platforms/nuttx/src/px4/rpi/rpi_common/io_pins/CMakeLists.txt +++ b/platforms/nuttx/src/px4/rpi/rpi_common/io_pins/CMakeLists.txt @@ -40,3 +40,5 @@ px4_add_library(arch_io_pins ) target_compile_options(arch_io_pins PRIVATE ${MAX_CUSTOM_OPT_LEVEL}) + +target_link_libraries(arch_io_pins PRIVATE drivers_board)