From d69cc38fe1d9f757b0c6a7698575a6766fa486ba Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 17 Jul 2015 15:42:40 -0600
Subject: [PATCH] STM32F746G-DISCO: Fix a couple of compilation problems

---
 configs/stm32f746g-disco/src/stm32_autoleds.c | 6 ++++--
 configs/stm32f746g-disco/src/stm32_buttons.c  | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/configs/stm32f746g-disco/src/stm32_autoleds.c b/configs/stm32f746g-disco/src/stm32_autoleds.c
index e577b3a8a61..46d6c3c222c 100644
--- a/configs/stm32f746g-disco/src/stm32_autoleds.c
+++ b/configs/stm32f746g-disco/src/stm32_autoleds.c
@@ -75,9 +75,9 @@
 
 void board_led_initialize(void)
 {
-   /* Configure the LD1 GPIO for output. Initial state is OFF */
+  /* Configure the LD1 GPIO for output. Initial state is OFF */
 
-   stm32_configgpio(GPIO_LD1);
+  stm32_configgpio(GPIO_LD1);
 }
 
 /****************************************************************************
@@ -140,3 +140,5 @@ void board_led_off(int led)
       break;
     }
 }
+
+#endif /* CONFIG_ARCH_LEDS */
diff --git a/configs/stm32f746g-disco/src/stm32_buttons.c b/configs/stm32f746g-disco/src/stm32_buttons.c
index 6c66f5a3061..8578c0794ed 100644
--- a/configs/stm32f746g-disco/src/stm32_buttons.c
+++ b/configs/stm32f746g-disco/src/stm32_buttons.c
@@ -42,6 +42,7 @@
 #include <nuttx/irq.h>
 #include <nuttx/board.h>
 
+#include "stm32_gpio.h"
 #include "stm32f746g-disco.h"
 
 #ifdef CONFIG_ARCH_BUTTONS