From 4bb81f5b25552986887aeac12c945c77af254697 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Thu, 11 Dec 2025 19:56:01 +0100
Subject: [PATCH] Build only necessary boards.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 build_pico_hsm.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/build_pico_hsm.sh b/build_pico_hsm.sh
index c4753b1..e0d9354 100755
--- a/build_pico_hsm.sh
+++ b/build_pico_hsm.sh
@@ -24,8 +24,9 @@ cd build_release
 
 PICO_SDK_PATH="${PICO_SDK_PATH:-../../pico-sdk}"
 SECURE_BOOT_PKEY="${SECURE_BOOT_PKEY:-../../ec_private_key.pem}"
-board_dir=${PICO_SDK_PATH}/src/boards/include/boards
-for board in "$board_dir"/*
+boards=("pico" "pico2")
+
+for board_name in "${boards[@]}"
 do
     board_name="$(basename -- "$board" .h)"
     rm -rf -- ./*
@@ -37,7 +38,7 @@ done
 # Build with EDDSA
 
 if [[ $NO_EDDSA -eq 0 ]]; then
-    for board in "$board_dir"/*
+    for board_name in "${boards[@]}"
     do
         board_name="$(basename -- "$board" .h)"
         rm -rf -- ./*