nuttx/rpi io_pins: link to drivers_board for timer_io_channels dependency

Signed-off-by: Jukka Laitinen <jukkax@ssrc.tii.ae>
3 years ago · 68729e8ec0
1 changed files with 2 additions and 0 deletions
--- 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
				@@ -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)