From 8b294b5a8b334643f7fbd525f60f47b372e42008 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 17 Jul 2015 13:51:11 -0600
Subject: [PATCH] STM32 F7: Temporary build workarounds for missing header
 files

---
 configs/stm32f746g-disco/include/board.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/configs/stm32f746g-disco/include/board.h b/configs/stm32f746g-disco/include/board.h
index 57dd9a133e..f7ae001aac 100644
--- a/configs/stm32f746g-disco/include/board.h
+++ b/configs/stm32f746g-disco/include/board.h
@@ -47,8 +47,9 @@
 #endif
 
 #include "stm32_rcc.h"
-#include "stm32_sdio.h"
-#include "stm32.h"
+#ifdef CONFIG_STM32F7_SDMMC1
+#  include "stm32_sdmmc.h"
+#endif
 
 /************************************************************************************
  * Pre-processor Definitions