tools/ci.sh: Put embedding build rules in ci.sh.

jepler · dpgeorge · commit 569ebaa8283a · 2026-01-05T12:01:59.000+11:00
To make this CI step runnable locally by `ci.sh`.

Signed-off-by: Jeff Epler &lt;jepler@unpythonic.net&gt;
diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
@@ -20,6 +20,4 @@ jobs:
     steps:
     - uses: actions/checkout@v6
     - name: Build
-      run: make -C examples/embedding -f micropython_embed.mk && make -C examples/embedding
-    - name: Run
-      run: ./examples/embedding/embed | grep "hello world"
+      run: tools/ci.sh embedding_build
diff --git a/examples/embedding/.gitignore b/examples/embedding/.gitignore
@@ -0,0 +1,4 @@
+# Files created by ci.sh embed_build
+embed
+main.o
+micropython_embed
diff --git a/tools/ci.sh b/tools/ci.sh
@@ -194,6 +194,15 @@ function ci_cc3200_build {
     make ${MAKEOPTS} -C ports/cc3200 BTARGET=bootloader  BTYPE=release
 }
 
+########################################################################################
+# ports/embed
+
+function ci_embedding_build {
+    make ${MAKEOPTS} -C examples/embedding -f micropython_embed.mk
+    make ${MAKEOPTS} -C examples/embedding
+    ./examples/embedding/embed | grep "hello world"
+}
+
 ########################################################################################
 # ports/esp32
 

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +# Files created by ci.sh embed_build
 +embed
 +main.o
 +micropython_embed