From 620fe89831da9488fc4b7540f1409bfe8c599bd6 Mon Sep 17 00:00:00 2001
From: unknown <maximilian.gerhardt@rub.de>
Date: Sun, 8 Aug 2021 14:55:24 +0200
Subject: [PATCH] Make sure toolchain-pico is removed from build for normal
core
---
platform.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/platform.py b/platform.py
index 9da4df1..fa8dd81 100644
--- a/platform.py
+++ b/platform.py
@@ -37,6 +37,8 @@ class RaspberrypiPlatform(PlatformBase):
if build_core == "arduino":
self.frameworks["arduino"]["package"] = "framework-arduino-mbed"
self.packages["framework-arduinopico"]["optional"] = True
+ self.packages["toolchain-pico"]["optional"] = True
+ self.packages.pop("toolchain-pico", None)
elif build_core == "earlephilhower":
self.frameworks["arduino"]["package"] = "framework-arduinopico"
self.packages["framework-arduino-mbed"]["optional"] = True