From 8365574658e4a1f9be03934151fd5913e1dafac8 Mon Sep 17 00:00:00 2001
From: Phil Howard <github@gadgetoid.com>
Date: Wed, 15 Jan 2025 16:56:01 +0000
Subject: [PATCH] CI: Work around mpy_cross build quirk

---
 ci/micropython.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/micropython.sh b/ci/micropython.sh
index 3f044e766..2157ba2ca 100644
--- a/ci/micropython.sh
+++ b/ci/micropython.sh
@@ -29,7 +29,7 @@ function micropython_clone {
 function micropython_build_mpy_cross {
     cd micropython/mpy-cross
     ccache --zero-stats || true
-    CROSS_COMPILE="ccache " make
+    CROSS_COMPILE="ccache " USER_C_MODULES= make
     ccache --show-stats || true
     cd ../../
 }