From 974d3e299350f89a34fe1f8ffbe60ebc80544bc4 Mon Sep 17 00:00:00 2001
From: Paul Guyot <pguyot@kallisys.net>
Date: Sat, 7 Oct 2023 23:26:12 +0200
Subject: [PATCH] Fix Pico (non-W) build

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
---
 src/platforms/rp2040/src/lib/networkdriver.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/platforms/rp2040/src/lib/networkdriver.c b/src/platforms/rp2040/src/lib/networkdriver.c
index 41dae95c9b..5e476c9996 100644
--- a/src/platforms/rp2040/src/lib/networkdriver.c
+++ b/src/platforms/rp2040/src/lib/networkdriver.c
@@ -18,6 +18,8 @@
  * SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later
  */
 
+#ifdef LIB_PICO_CYW43_ARCH
+
 #include <globalcontext.h>
 #include <interop.h>
 #include <mailbox.h>
@@ -33,7 +35,6 @@
 
 #pragma GCC diagnostic pop
 
-#ifdef LIB_PICO_CYW43_ARCH
 
 #define PORT_REPLY_SIZE (TUPLE_SIZE(2) + REF_SIZE)