From d6f15f8384c4eff9f61c5361d215402957313ce8 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Thu, 10 Apr 2025 19:56:20 +0200
Subject: [PATCH] Fix eddsa output folder.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 build_pico_hsm.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_pico_hsm.sh b/build_pico_hsm.sh
index 8a1cca6..d61db3b 100755
--- a/build_pico_hsm.sh
+++ b/build_pico_hsm.sh
@@ -42,6 +42,6 @@ if [[ $NO_EDDSA -eq 0 ]]; then
         rm -rf -- ./*
         PICO_SDK_PATH="${PICO_SDK_PATH}" cmake .. -DPICO_BOARD=$board_name -DSECURE_BOOT_PKEY=../../ec_private_key.pem -DENABLE_EDDSA=1
         make -j`nproc`
-        mv pico_hsm.uf2 ../release/pico_hsm_$board_name-$SUFFIX-eddsa1.uf2
+        mv pico_hsm.uf2 ../release_eddsa/pico_hsm_$board_name-$SUFFIX-eddsa1.uf2
     done
 fi