From bd488e6efb63be4005156b25c4642b14d7361f57 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Mon, 16 Jan 2017 10:25:39 +0200
Subject: [PATCH] targets: zephyr: Remove unused misc/shell.h header. (#1528)

It's also gone in Zephyr 1.7.

JerryScript-DCO-1.0-Signed-off-by: Paul Sokolovsky paul.sokolovsky@linaro.org
---
 targets/zephyr/src/main-zephyr.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/targets/zephyr/src/main-zephyr.c b/targets/zephyr/src/main-zephyr.c
index e84f6c145..d59d108b0 100644
--- a/targets/zephyr/src/main-zephyr.c
+++ b/targets/zephyr/src/main-zephyr.c
@@ -19,7 +19,6 @@
 
 #include <zephyr.h>
 #include <misc/printk.h>
-#include <misc/shell.h>
 #include "getline-zephyr.h"
 
 #include "jerry-api.h"