From 358a265c4a1c9151d315c282801e78596f277385 Mon Sep 17 00:00:00 2001
From: Young <young.mu@aliyun.com>
Date: Sun, 7 Aug 2016 01:08:59 +0800
Subject: [PATCH] Enable TM4C1294-launchpad board build

---
 configs/tm4c1294-launchpad/src/tm4c_bringup.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/configs/tm4c1294-launchpad/src/tm4c_bringup.c b/configs/tm4c1294-launchpad/src/tm4c_bringup.c
index 0cd3e2f229..8031a8687d 100644
--- a/configs/tm4c1294-launchpad/src/tm4c_bringup.c
+++ b/configs/tm4c1294-launchpad/src/tm4c_bringup.c
@@ -46,6 +46,8 @@
 #include <nuttx/i2c/i2c_master.h>
 #include <arch/board/board.h>
 
+#include <nuttx/drivers/pwm.h>
+
 #include "tiva_i2c.h"
 #include "tiva_pwm.h"
 #include "tm4c1294-launchpad.h"
@@ -160,6 +162,7 @@ static void tm4c_i2ctool(void)
 *
 ****************************************************************************/
 
+#ifdef HAVE_PWM
 void tm4c_pwm_register(int channel)
 {
   FAR struct pwm_lowerhalf_s *dev;
@@ -182,6 +185,7 @@ void tm4c_pwm_register(int channel)
         }
     }
 }
+#endif
 
 /****************************************************************************
  * Name: tm4c_pwm
@@ -219,7 +223,7 @@ static void tm4c_pwm(void)
   tm4c_pwm_register(7);
 #endif
 }
-#endif # HAVE_PWM
+#endif
 
 /****************************************************************************
  * Public Functions