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

To make this CI step runnable locally by `ci.sh`.

Signed-off-by: Jeff Epler <jepler@unpythonic.net>

Author: jepler

.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

examples/embedding/.gitignore

@@ -0,0 +1,4 @@
+# Files created by ci.sh embed_build
+embed
+main.o
+micropython_embed

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