From a1d5644135853b4478ac62dff4a27d0dabb791bb Mon Sep 17 00:00:00 2001
From: "S.J.R. van Schaik" <stephan@whiteboxsystems.nl>
Date: Sat, 11 Mar 2017 13:09:04 +0000
Subject: [PATCH] shell: remove libopencm3 includes

---
 source/shell.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/source/shell.c b/source/shell.c
index ef8bb1f..6335f4e 100644
--- a/source/shell.c
+++ b/source/shell.c
@@ -1,7 +1,5 @@
-#define _GNU_SOURCE
-#include <libopencm3/stm32/spi.h>
-
 #include <ctype.h>
+#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>