Correct name, not CONFIG_GPIO_IRQ but CONFIG_TIVA_GPIO_IRQS

This commit is contained in:
Gregory Nutt 2016-07-22 14:54:59 -06:00
parent e897ccb940
commit c282e1d4ff

View File

@ -242,7 +242,7 @@ uint8_t up_buttons(void);
*
************************************************************************************/
#if defined(CONFIG_ARCH_IRQBUTTONS) && defined(CONFIG_GPIO_IRQ)
#if defined(CONFIG_ARCH_IRQBUTTONS) && defined(CONFIG_TIVA_GPIO_IRQS)
xcpt_t up_irqbutton(int id, xcpt_t irqhandler);
#endif
#endif /* CONFIG_ARCH_BUTTONS */