From de1baabed875cce3977a1092d47307e966c3188b Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Tue, 25 Oct 2022 11:40:40 +0200
Subject: [PATCH] mbed-os-to-arduino: don't include lwip folders

Due to include conflicts in case insentitive filesystems
---
 mbed-os-to-arduino | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mbed-os-to-arduino b/mbed-os-to-arduino
index 37f2fa002..290484249 100755
--- a/mbed-os-to-arduino
+++ b/mbed-os-to-arduino
@@ -164,7 +164,7 @@ generate_includes () {
 
 	find ./BUILD/"$BOARDNAME"/GCC_ARM${PROFILE}/ -type f -name '.include*' -print0 | xargs -0 cat \
 	| tr ' ' '\n' | tr -d '"' | sed -e 's#-I./mbed-os#-iwithprefixbefore/mbed#g' \
-	| sed '/^-I./d' | cat \
+	| sed '/^-I./d' | sed '/lwipstack/d' | cat \
 	> "$ARDUINOVARIANT"/includes.txt
 
 	echo -n " copying to destination... "