tools/ci.sh: Add unix-ffi library when testing unix-ffi subdirectory.

Signed-off-by: Angus Gratton <[email protected]>
micropython · Feb 19, 2024 · 4cc6706 · 4cc6706
1 parent 8058b29
commit 4cc6706
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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
 }