diff options
Diffstat (limited to 'src/drivers/drv_gpio.h')
-rw-r--r-- | src/drivers/drv_gpio.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/drivers/drv_gpio.h b/src/drivers/drv_gpio.h index be9604b6e..f18c8162d 100644 --- a/src/drivers/drv_gpio.h +++ b/src/drivers/drv_gpio.h @@ -110,9 +110,13 @@ /* no GPIO driver on the PX4IOv2 board */ #endif +#ifdef CONFIG_ARCH_BOARD_PX4_STM32F4DISCOVERY +/* no GPIO driver on the PX4_STM32F4DISCOVERY board */ +#endif + #if !defined(CONFIG_ARCH_BOARD_PX4IO_V1) && !defined(CONFIG_ARCH_BOARD_PX4IO_V2) && \ !defined(CONFIG_ARCH_BOARD_PX4FMU_V1) && !defined(CONFIG_ARCH_BOARD_PX4FMU_V2) && \ - !defined(CONFIG_ARCH_BOARD_AEROCORE) + !defined(CONFIG_ARCH_BOARD_AEROCORE) && !defined(CONFIG_ARCH_BOARD_PX4_STM32F4DISCOVERY) # error No CONFIG_ARCH_BOARD_xxxx set #endif /* |