From 4cc67065dd4b20aa55bad51903805ef092d6a939 Mon Sep 17 00:00:00 2001
From: Angus Gratton <angus@redyak.com.au>
Date: Tue, 13 Feb 2024 17:20:49 +1100
Subject: [PATCH] tools/ci.sh: Add unix-ffi library when testing unix-ffi
 subdirectory.

Signed-off-by: Angus Gratton <angus@redyak.com.au>
---
 tools/ci.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/ci.sh b/tools/ci.sh
index 730034e..761491c 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -30,7 +30,11 @@ function ci_build_packages_check_manifest {
     for file in $(find -name manifest.py); do
         echo "##################################################"
         echo "# Testing $file"
-        python3 /tmp/micropython/tools/manifestfile.py --lib . --compile $file
+        extra_args=
+        if [[ "$file" =~ "/unix-ffi/" ]]; then
+            extra_args="--unix-ffi"
+        fi
+        python3 /tmp/micropython/tools/manifestfile.py $extra_args --lib . --compile $file
     done
 }