From 4dbd106611e15a236592dbc903b6e6bd24f8cd5c Mon Sep 17 00:00:00 2001
From: Phil Howard <github@gadgetoid.com>
Date: Tue, 25 Mar 2025 12:54:30 +0000
Subject: [PATCH] CI: Fix board manifest PORT_DIR var.

---
 boards/manifest_pico2.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boards/manifest_pico2.py b/boards/manifest_pico2.py
index ca9171f..f266753 100644
--- a/boards/manifest_pico2.py
+++ b/boards/manifest_pico2.py
@@ -1,5 +1,5 @@
 # micropython/ports/rp2/../../../
-MODULES_PY = "{PORT_DIR}/../../../pimoroni-pico/micropython/modules_py"
+MODULES_PY = "$(PORT_DIR)/../../../pimoroni-pico/micropython/modules_py"
 
 # SD Card
 require("sdcard")