0047-RP2040-avoid-float.h-first-level-inclusion.patch

From cfd7612ac5373580d9bbddaa19e58a43b93219a3 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Tue, 23 Feb 2021 16:46:39 +0100
Subject: [PATCH 47/87] RP2040: avoid float.h first level inclusion

---
 targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore             | 1 +
 .../pico-sdk/rp2_common/pico_float/include/placeholder.h         | 0
 2 files changed, 1 insertion(+)
 create mode 100644 targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_float/include/placeholder.h

diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore
index 2b44582cfc..f0ee61c160 100644
--- a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore
+++ b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore
@@ -13,6 +13,7 @@ pico-sdk/rp2_common/pico_double/double_aeabi.S
 pico-sdk/rp2_common/pico_double/double_none.S
 pico-sdk/rp2_common/pico_float/float_aeabi.S
 pico-sdk/rp2_common/pico_float/float_none.S
+pico-sdk/rp2_common/pico_float/include/pico/*
 pico-sdk/rp2_common/pico_standard_link/new_delete.cpp
 pico-sdk/rp2_common/pico_standard_link/*.ld
 pico-sdk/rp2_common/pico_unique_id/*
diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_float/include/placeholder.h b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_float/include/placeholder.h
new file mode 100644
index 0000000000..e69de29bb2
-- 
2.30.2