From ec2eedd95b8df09726eef01c4f277e96e01ef269 Mon Sep 17 00:00:00 2001
From: bugobliterator <siddharthbharatpurohit@gmail.com>
Date: Wed, 12 Apr 2023 14:38:08 +1000
Subject: [PATCH] Tools: add CubeRedPrimary-bootloader target to build_ci

---
 Tools/scripts/build_ci.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index c4fa17d6c9..38b4179b17 100755
--- 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