From 9dfb5c04298b55424300769998bbba5c0b7ee983 Mon Sep 17 00:00:00 2001
From: Phil Howard <github@gadgetoid.com>
Date: Tue, 26 Nov 2024 22:00:41 +0000
Subject: [PATCH]  CI: Workaround silly mpy-cross build wart.

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

diff --git a/ci/micropython.sh b/ci/micropython.sh
index 0a4b53a..a42ac5c 100644
--- a/ci/micropython.sh
+++ b/ci/micropython.sh
@@ -30,7 +30,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 ../../
 }