dearsky/pico-hsm
1
0
Fork 0
Code Issues 17 Pull Requests 4 Actions Packages Projects Releases 26 Wiki Activity

Build only necessary boards.

Browse Source 
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2025-12-11 19:56:01 +01:00
parent c9926a71d1
commit 4bb81f5b25
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
build_pico_hsm.sh
View File

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