Tools: add CubeRedPrimary-bootloader target to build_ci

2023-04-12 14:38:08 +10:00 · 2023-04-12 14:38:08 +10:00 · ec2eedd95b
commit ec2eedd95b
parent 240556acc5
1 changed files with 8 additions and 0 deletions
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@ -252,6 +252,14 @@ for t in $CI_BUILD_TARGET; do
        continue
    fi

+    if [ "$t" == "CubeRedPrimary-bootloader" ]; then
+        echo "Building CubeRedPrimary bootloader"
+        $waf configure --board CubeRedPrimary --bootloader
+        $waf clean
+        $waf bootloader
+        continue
+    fi
+
    if [ "$t" == "fmuv3-bootloader" ]; then
        echo "Building fmuv3 bootloader"
        $waf configure --board fmuv3 --bootloader