From 66d04bafb4a727d082b931823d4411b579bae022 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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/platforms/rp2040/src/lib/networkdriver.c b/src/platforms/rp2040/src/lib/networkdriver.c
index 41dae95c9..8b7330298 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,8 +35,6 @@
 
 #pragma GCC diagnostic pop
 
-#ifdef LIB_PICO_CYW43_ARCH
-
 #define PORT_REPLY_SIZE (TUPLE_SIZE(2) + REF_SIZE)
 
 static const char *const ap_atom = ATOM_STR("\x2", "ap");