From 535e2dbbdccca7fca077c30f58a20edbe6d5842a Mon Sep 17 00:00:00 2001
From: Rehan MALAK <rehan.malak@inria.fr>
Date: Mon, 28 May 2018 13:19:54 +0200
Subject: [PATCH] exclude sky platform for examples/libs/shell

---
 examples/libs/shell/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/examples/libs/shell/Makefile b/examples/libs/shell/Makefile
index b44069cf8..7be7dd18e 100644
--- a/examples/libs/shell/Makefile
+++ b/examples/libs/shell/Makefile
@@ -3,4 +3,7 @@ all: $(CONTIKI_PROJECT)
 
 MODULES += os/services/shell
 CONTIKI = ../../..
+
+PLATFORMS_EXCLUDE = sky
+
 include $(CONTIKI)/Makefile.include