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 [email protected]
2017-01-16 09:25:39 +01:00
parent f1a80805c2
commit bd488e6efb
1 changed files with 0 additions and 1 deletions
@@ -19,7 +19,6 @@

 #include <zephyr.h>
 #include <misc/printk.h>
-#include <misc/shell.h>
 #include "getline-zephyr.h"

 #include "jerry-api.h"