From 569ebaa8283aa7ea28392943986413102c890b8c Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@unpythonic.net>
Date: Thu, 27 Nov 2025 20:46:29 -0600
Subject: [PATCH] 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>
---
 .github/workflows/examples.yml | 4 +---
 examples/embedding/.gitignore  | 4 ++++
 tools/ci.sh                    | 9 +++++++++
 3 files changed, 14 insertions(+), 3 deletions(-)
 create mode 100644 examples/embedding/.gitignore

diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
index 4adeaae2e5..4627247fb9 100644
--- 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
new file mode 100644
index 0000000000..78bd33eb13
--- /dev/null
+++ 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
index 85d736552a..82eb094281 100755
--- 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