Speed tweek for gpioSetValue

[hackover2013-badge-firmware.git] / main.c

diff --git a/main.c b/main.c
index b4e63e7..99f192a 100644 (file)
--- a/main.c
+++ b/main.c
@@ -36,6 +36,7 @@
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
+#include <time.h>
 
 #include "projectconfig.h"
 #include "sysinit.h"
@@ -60,7 +61,7 @@ int main(void)
 
   uint32_t currentSecond, lastSecond;
   currentSecond = lastSecond = 0;
-
+  
   while (1)
   {
     // Toggle LED once per second