From 2d1d366bce4d515c1584d090aa51432c5e3e3aee Mon Sep 17 00:00:00 2001
From: Niclas Finne <nfi@sics.se>
Date: Fri, 1 Sep 2017 15:45:40 +0200
Subject: [PATCH] wpcapslip: core has been renamed to os

---
 tools/wpcapslip/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/wpcapslip/Makefile b/tools/wpcapslip/Makefile
index 7780d5753..c3ddd7621 100644
--- a/tools/wpcapslip/Makefile
+++ b/tools/wpcapslip/Makefile
@@ -1,7 +1,7 @@
 CONTIKI=../..
 
 CC=gcc
-CFLAGS=-Wall -I$(CONTIKI)/core -I.
+CFLAGS=-Wall -I$(CONTIKI)/os -I.
 
 all: wpcapslip wpcapstdio Connect.class ConnectSocket.class